pmap_get_ptp_pae  570 arch/i386/i386/pmapae.c struct vm_page	*pmap_get_ptp_pae(struct pmap *, int, boolean_t);
pmap_get_ptp_pae 2001 arch/i386/i386/pmapae.c 		ptp = pmap_get_ptp_pae(pmap, pdei(va), FALSE);