Symbol: pmap_extract_pae
sys/arch/i386/i386/pmapae.c
805
pmap_extract_p = pmap_extract_pae;
sys/arch/i386/include/pmap.h
287
int pmap_extract_pae(pmap_t, vaddr_t, paddr_t *);