PTE_RPGN_64
*pa = (pted->p.pted_pte64.pte_lo & PTE_RPGN_64) |
(va & ~PTE_RPGN_64);
pa = (pted->p.pted_pte64.pte_lo & PTE_RPGN_64) |
(va & ~PTE_RPGN_64);
pg = PHYS_TO_VM_PAGE(pted->p.pted_pte64.pte_lo & PTE_RPGN_64);
pmap_attr_save(ptp64->pte_lo & PTE_RPGN_64,
pmap_attr_save(ptp64->pte_lo & PTE_RPGN_64,
pg = PHYS_TO_VM_PAGE(pted->p.pted_pte64.pte_lo & PTE_RPGN_64);
pmap_attr_save(pted->p.pted_pte64.pte_lo & PTE_RPGN_64,
pte64->pte_lo = (pa & PTE_RPGN_64);