Symbol: pmap_get_ptp_86
sys/arch/i386/i386/pmap.c
2274
ptp = pmap_get_ptp_86(pmap, pdei(va));
sys/arch/i386/i386/pmap.c
461
struct vm_page *pmap_get_ptp_86(struct pmap *, int);