PAE and i386 kernel

[brook%biology.nmsu.edu@localhost (Brook Milligan)]

Is the i386 kernel supposed to work with 'options PAE'?

I just tried to compile that and encountered the following errors:

sys/arch/x86/x86/cpu.c: In function 'cpu_hatch':
sys/arch/x86/x86/cpu.c:714: warning: passing argument 1 of 'lcr3' makes integer 
from pointer without a cast
sys/arch/x86/x86/cpu.c:715: warning: assignment makes integer from pointer 
without a cast
sys/arch/x86/x86/cpu.c: In function 'tss_init':
sys/arch/x86/x86/cpu.c:813: warning: assignment makes integer from pointer 
without a cast

These have to do with the following 3 statements, respectively:

        lcr3(pmap_kernel()->pm_pdirpa);
        curlwp->l_addr->u_pcb.pcb_cr3 = pmap_kernel()->pm_pdirpa;
        tss->tss_cr3 = pmap_kernel()->pm_pdirpa;

Is this some overlooked change to the definition of pm_pdirpa or is it
not supposed to work?

Thanks for your help.

Cheers,
Brook