pm_pdpt
pmap->pm_pdpt = IdlePDPT;
pmap->pm_pdpt = uma_zalloc(pdptzone, M_WAITOK | M_ZERO);
KASSERT(((vm_offset_t)pmap->pm_pdpt &
KASSERT(pmap_kextract((vm_offset_t)pmap->pm_pdpt) < (4ULL<<30),
pmap->pm_pdpt[i] = VM_PAGE_TO_PHYS(pmap->pm_ptdpg[i]) | PG_V;
trunc_page((vm_offset_t)pmap->pm_pdpt),
round_page((vm_offset_t)pmap->pm_pdpt +
KASSERT(VM_PAGE_TO_PHYS(m) == (pmap->pm_pdpt[i] & PG_FRAME),
cr3 = vtophys(pmap->pm_pdpt);
return ((u_int)vtophys(pmap->pm_pdpt));
kernel_pmap->pm_pdpt = IdlePDPT;