HIBERNATE_PDPT_LOW
pde = (pt_entry_t *)(HIBERNATE_PDPT_LOW +
pmap_kenter_pa(HIBERNATE_PDPT_LOW, HIBERNATE_PDPT_LOW, PROT_MASK);
bzero((caddr_t)HIBERNATE_PDPT_LOW, PAGE_SIZE);
npde = (HIBERNATE_PDPT_LOW) | PG_RW | PG_V;
pde = (pt_entry_t *)(HIBERNATE_PDPT_LOW +
pmap_kremove(HIBERNATE_PDPT_LOW, PAGE_SIZE);