PTE_RPGN
*pap = (pted->pted_pte & PTE_RPGN) | (va & PAGE_MASK);
pte = (pted->pted_pte & PTE_RPGN) | attr | access_bits | L3_P;
pa = (pted->pted_pte & PTE_RPGN);
struct vm_page *pg = PHYS_TO_VM_PAGE(pted->pted_pte & PTE_RPGN);
if ((pted->pted_pte & PTE_RPGN) == (pa & PTE_RPGN) &&
pg = PHYS_TO_VM_PAGE(pted->pted_pte & PTE_RPGN);
pted->pted_pte = pa & PTE_RPGN;
pted = pa & PTE_RPGN;
pte = (pted & PTE_RPGN) | attr | access_bits | L3_P;
if ((pted->pted_pte.pte_lo & PTE_RPGN) == (pa & PTE_RPGN)) {
paddr_t pa = pted->pted_pte.pte_lo & PTE_RPGN;
pg = PHYS_TO_VM_PAGE(pted->pted_pte.pte_lo & PTE_RPGN);
*pa = (pte->pte_lo & PTE_RPGN) | (va & PAGE_MASK);
struct vm_page *pg = PHYS_TO_VM_PAGE(pted->pted_pte.pte_lo & PTE_RPGN);
pte->pte_lo = (pa & PTE_RPGN);
return (((pa & PTE_RPGN) >> PAGE_SHIFT) << PTE_PPN0_S) | PTE_V;
pa = pted->pted_pte & PTE_RPGN;
pa = (pted->pted_pte & PTE_RPGN);
struct vm_page *pg = PHYS_TO_VM_PAGE(pted->pted_pte & PTE_RPGN);
if ((pted->pted_pte & PTE_RPGN) == (pa & PTE_RPGN) &&
pted->pted_pte = pa & PTE_RPGN;