pmap_ppn
m = PHYS_TO_VM_PAGE(pmap_ppn(pte));
opa = pmap_ppn(pte);
paddr_t pa = pmap_ppn(pte);
pa = pmap_ppn(pte);
pa = pmap_present(pte) ? pmap_ppn(pte) | (va & PAGE_MASK) : 0;
if (pmap_ppn(pte) != VM_PAGE_TO_PHYS(m))
m = PHYS_TO_VM_PAGE(pmap_ppn(pte));