PTE_TO_PHYS
mphys = PTE_TO_PHYS(*l0);
mphys = PTE_TO_PHYS(*l1);
mphys = PTE_TO_PHYS(*l2);
pa = PTE_TO_PHYS(l1e);
pa = PTE_TO_PHYS(l2e);
pa = PTE_TO_PHYS(l3e);
pa = PTE_TO_PHYS(l1e) | (va & L1_OFFSET);
pa = PTE_TO_PHYS(l2e) | (va & L2_OFFSET);
pa = PTE_TO_PHYS(l2e);
pa = PTE_TO_PHYS(l0e);
l1_pa = PTE_TO_PHYS(l0e);
pa = PTE_TO_PHYS(l1e);
pa = PTE_TO_PHYS(l2e);
l2_pa = PTE_TO_PHYS(l1e);
l3_pa = PTE_TO_PHYS(l2e);
pa = PTE_TO_PHYS(tpte);
m = PHYS_TO_VM_PAGE(PTE_TO_PHYS(tpte) | off);
*pa = PTE_TO_PHYS(tpte) | (va & L1_OFFSET);
*pa = PTE_TO_PHYS(tpte) | (va & L2_OFFSET);
*pa = PTE_TO_PHYS(tpte) | (va & L3_OFFSET);
#define PTE_TO_VM_PAGE(pte) PHYS_TO_VM_PAGE(PTE_TO_PHYS(pte))
l1 = (pd_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(pmap_load(l0)));
l1 = (pd_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(tl0));
l1 = (pd_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(tl0));
l2 = (pd_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(pmap_load(l1)));
pa = PTE_TO_PHYS(l2e);
firstl3 = (pt_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(pmap_load(l2)));
if ((PTE_TO_PHYS(newl2) & L2_OFFSET) != 0 ||
pa = (PTE_TO_PHYS(newl2) | (newl2 & ATTR_DESCR_MASK))
if ((PTE_TO_PHYS(oldl3) | (oldl3 & ATTR_DESCR_MASK)) != pa) {
pmap_pv_promote_l2(pmap, va, PTE_TO_PHYS(newl2), lockp);
if ((PTE_TO_PHYS(firstl3c) & L3C_OFFSET) != 0 ||
pa = (PTE_TO_PHYS(firstl3c) | (firstl3c & ATTR_DESCR_MASK)) +
if ((PTE_TO_PHYS(oldl3) | (oldl3 & ATTR_DESCR_MASK)) != pa) {
KASSERT((PTE_TO_PHYS(pte) & (pagesizes[psind] - 1)) == 0,
PTE_TO_PHYS(pte), pte, psind));
KASSERT((PTE_TO_PHYS(origpte) == PTE_TO_PHYS(newpte) &&
PTE_TO_PHYS(origpte) == PTE_TO_PHYS(newpte)),
PTE_TO_PHYS(origpte) == PTE_TO_PHYS(newpte)),
opa = PTE_TO_PHYS(orig_l3);
KASSERT(PTE_TO_PHYS(orig_l3) == opa,
l1 = (pd_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(pmap_load(l0)));
!pmap_every_pte_zero(PTE_TO_PHYS(old_l2))) {
if ((new_l2 & ATTR_S1_XN) == 0 && (PTE_TO_PHYS(new_l2) !=
PTE_TO_PHYS(old_l2) || (old_l2 & ATTR_S1_XN) != 0) &&
cpu_icache_sync_range((void *)PHYS_TO_DMAP(PTE_TO_PHYS(new_l2)),
l2p = (pd_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(l1));
l3p = (pt_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(
l3p = (pt_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(l2));
src_pte = (pt_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(srcptepaddr));
pa = PTE_TO_PHYS(tpte);
va += VM_PAGE_TO_PHYS(m) - PTE_TO_PHYS(oldl2);
pa = PTE_TO_PHYS(pte);
phys = PTE_TO_PHYS(oldl1);
if (PTE_TO_PHYS(pmap_load(xl3p)) != PTE_TO_PHYS(newl3e)) {
KASSERT(PTE_TO_PHYS(pmap_load(firstl3p)) == PTE_TO_PHYS(newl3e),
pmap_pv_demote_l2(pmap, va, PTE_TO_PHYS(oldl2), lockp);
pa = PTE_TO_PHYS(tpte) | (addr & mask);
pa = PTE_TO_PHYS(pmap_load(l3p));
pa = PTE_TO_PHYS(pmap_load(l3));
phys = PTE_TO_PHYS(pmap_load(l0));
phys = PTE_TO_PHYS(pmap_load(l0));
phys = PTE_TO_PHYS(pmap_load(l0));
phys = PTE_TO_PHYS(pmap_load(l0));
phys = PTE_TO_PHYS(pmap_load(l1));
pa = PTE_TO_PHYS(l2e);
CHANGE_PV_LIST_LOCK_TO_PHYS(lockp, PTE_TO_PHYS(oldl2));
pvh = pa_to_pvh(PTE_TO_PHYS(oldl2));
KASSERT(PTE_TO_PHYS(pmap_load(firstl3)) == PTE_TO_PHYS(newl3),
pmap_pv_demote_l2(pmap, va, PTE_TO_PHYS(oldl2), lockp);
firstl3 = (pt_entry_t *)PHYS_TO_DMAP(PTE_TO_PHYS(pmap_load(l2)));
pa = PTE_TO_PHYS(firstl3e);
if (PTE_TO_PHYS(l3e) != pa) {
pmap_pv_promote_l2(pmap, va, PTE_TO_PHYS(firstl3e), lockp);
opa = PTE_TO_PHYS(orig_l3);
KASSERT(PTE_TO_PHYS(orig_l3) == opa,
KASSERT(PTE_TO_PHYS(orig_l3) == pa,
#define PTE_TO_VM_PAGE(pte) PHYS_TO_VM_PAGE(PTE_TO_PHYS(pte))
phys = PTE_TO_PHYS(pmap_load(l0));
phys = PTE_TO_PHYS(pmap_load(l1));
phys = PTE_TO_PHYS(pmap_load(l2));
va += VM_PAGE_TO_PHYS(m) - PTE_TO_PHYS(oldl2);
phys = PTE_TO_PHYS(l3e);
pa = PTE_TO_PHYS(tpte) | (addr & L2_OFFSET);
pa = PTE_TO_PHYS(tpte) | (addr & L3_OFFSET);
pa = PTE_TO_PHYS(l1e);
pa = PTE_TO_PHYS(l2e);