ptp_to_pmap
KASSERT(ptp_to_pmap(ptp) == pmap);
KASSERT(ptp_to_pmap(ptp) == pmap);
pmap = ptp_to_pmap(ptp);
pmap = ptp_to_pmap(ptp);
pmap = ptp_to_pmap(pvpte->pte_ptp);
pmap = ptp_to_pmap(pvpte->pte_ptp);
pmap = ptp_to_pmap(ptp);