HIBERNATE_PML4T
pde = (pt_entry_t *)(HIBERNATE_PML4T +
pmap_kenter_pa(HIBERNATE_PML4T, HIBERNATE_PML4T, PROT_MASK);
bzero((caddr_t)HIBERNATE_PML4T, PAGE_SIZE);
pde = (pt_entry_t *)(HIBERNATE_PML4T +
pmap_kremove(HIBERNATE_PML4T, PAGE_SIZE);