pte1_pa
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
return (is_managed(pte1_pa(pte1)));
pvh = pa_to_pvh(pte1_pa(pte1));
pmap_pv_promote_pte1(pmap, va, pte1_pa(npte1));
pvh = pa_to_pvh(pte1_pa(opte1));
for (va = sva, m = PHYS_TO_VM_PAGE(pte1_pa(opte1));
npte2 = pte1_pa(opte1) | ATTR_TO_L2(opte1) | PTE2_V;
pmap_pv_demote_pte1(pmap, va, pte1_pa(opte1));
pa = pte1_pa(pte1);
pte1_pa(opte1) != VM_PAGE_TO_PHYS(m) || (opte1 & PTE2_NX) != 0))
for (va = sva, m = PHYS_TO_VM_PAGE(pte1_pa(opte1));
va += VM_PAGE_TO_PHYS(m) - pte1_pa(opte1);
pa = trunc_page(pte1_pa(pte1) | (addr & PTE1_OFFSET));