pmap_get_ptp_86
ptp = pmap_get_ptp_86(pmap, pdei(va));
struct vm_page *pmap_get_ptp_86(struct pmap *, int);