PTE_TO_VM_PAGE
mpte = PTE_TO_VM_PAGE(pmap_load(pde));
l2pg = PTE_TO_VM_PAGE(tl1);
l1pg = PTE_TO_VM_PAGE(tl0);
mpte = PTE_TO_VM_PAGE(ptepde);
l1pg = PTE_TO_VM_PAGE(tl0);
l2pg = PTE_TO_VM_PAGE(tl1);
l2pg = PTE_TO_VM_PAGE(pmap_load(l1));
m = PTE_TO_VM_PAGE(tpde);
m = PTE_TO_VM_PAGE(tpte);
m = PTE_TO_VM_PAGE(old_l2);
m = PTE_TO_VM_PAGE(old_l3);
m = PTE_TO_VM_PAGE(first_l3e);
l3pg = ADDR_IS_USER(sva) ? PTE_TO_VM_PAGE(l2e) : NULL;
m = PTE_TO_VM_PAGE(old_l3);
m = PTE_TO_VM_PAGE(old_l2);
m = PTE_TO_VM_PAGE(pmap_load(l3p));
vm_page_dirty(PTE_TO_VM_PAGE(l3));
mpte = PTE_TO_VM_PAGE(pmap_load(l2));
mp = PTE_TO_VM_PAGE(pmap_load(l0p));
mp = PTE_TO_VM_PAGE(pmap_load(l1p));
mp = PTE_TO_VM_PAGE(pmap_load(l2p));
mpte = PTE_TO_VM_PAGE(pmap_load(pde));
mpte = PTE_TO_VM_PAGE(pmap_load(l2));
mt = PTE_TO_VM_PAGE(old_l2);
*ml3p = PTE_TO_VM_PAGE(
*ml3p = PTE_TO_VM_PAGE(pmap_load(pde));
mpte = PTE_TO_VM_PAGE(pmap_load(l2));
if (!pmap_pv_insert_l3c(pmap, va, PTE_TO_VM_PAGE(l3e), lockp)) {
dst_m = PTE_TO_VM_PAGE(pmap_load(l0));
srcmpte = PTE_TO_VM_PAGE(srcptepaddr);
PTE_TO_VM_PAGE(ptetemp), &lock)) {
m = PTE_TO_VM_PAGE(oldl3);
m = PTE_TO_VM_PAGE(l3);
pdpg = PTE_TO_VM_PAGE(pmap_load(l1));
pdpg = PTE_TO_VM_PAGE(pmap_load(l0));
mpte = PTE_TO_VM_PAGE(ptepde);
pdpg = PTE_TO_VM_PAGE(pmap_load(l1));
pdpg = PTE_TO_VM_PAGE(pmap_load(l1));
l2pg = PTE_TO_VM_PAGE(pmap_load(l1));
m = PTE_TO_VM_PAGE(pmap_load(l2));
for (va = sva, m = PTE_TO_VM_PAGE(oldl2);
m = PTE_TO_VM_PAGE(old_l3);
m = PTE_TO_VM_PAGE(l2e);
m = PTE_TO_VM_PAGE(l3e);
ml3 = PTE_TO_VM_PAGE(pmap_load(l2));
mpte = PTE_TO_VM_PAGE(pmap_load(l2));
mt = PTE_TO_VM_PAGE(pmap_load(l2));
mpte = PTE_TO_VM_PAGE(pmap_load(l2));
m = PTE_TO_VM_PAGE(tpte);