pmap_pml4e
pml4 = pmap_pml4e(pmap, va);
pdppg = PHYS_TO_VM_PAGE(*pmap_pml4e(pmap, va) &
pml4e = pmap_pml4e(pmap, sva);
pml4e = pmap_pml4e(pmap, sva);
pml4e = pmap_pml4e(pmap, va);
if (pmap_pml4e(pmap, va) == NULL)
pml4e = pmap_pml4e(pmap, sva);