Symbol: pmap_growkernel_pae
sys/arch/i386/i386/pmapae.c
806
pmap_growkernel_p = pmap_growkernel_pae;
sys/arch/i386/include/pmap.h
288
vaddr_t pmap_growkernel_pae(vaddr_t);