pmap_pml4e
pml4 = pmap_pml4e(pmap, va);
pml4 = pmap_pml4e(kernel_pmap, va);
pml4e = pmap_pml4e(pmap, va);
pml4e = *pmap_pml4e(kernel_pmap, sva);
pml4 = pmap_pml4e(pmap, va);
pml4e = pmap_pml4e(pmap, va);
pml4e = pmap_pml4e(kernel_pmap, kva_layout.lm_low +
pml4 = pmap_pml4e(pmap, va);
pdppg = PHYS_TO_VM_PAGE(*pmap_pml4e(pmap, va) & PG_FRAME);
pmap_pml4e(pmap, va));
pml4e = pmap_pml4e(pmap, sva);
mt = PHYS_TO_VM_PAGE(*pmap_pml4e(pmap, sva) & PG_FRAME);
pml4e = pmap_pml4e(pmap, sva);
pml4e = pmap_pml4e(pmap, va);
pml4e = pmap_pml4e(pmap, sva);
pml4e = pmap_pml4e(src_pmap, addr);
pml4e = pmap_pml4e(dst_pmap, addr);
pml4e = pmap_pml4e(pmap, sva);