pmap_pdpe
pdp = pmap_pdpe(pmap, va);
pdpg = PHYS_TO_VM_PAGE(*pmap_pdpe(pmap, va) &
*pmap_pdpe(kernel_pmap, kernel_vm_end) = newpdp;
pdpe = pmap_pdpe(pmap, va);
else if (pmap_pdpe(pmap, va) == NULL)