HIBERNATE_PD_PAGE
pmap_kenter_pa(HIBERNATE_PD_PAGE, HIBERNATE_PD_PAGE, PROT_MASK);
bzero((caddr_t)HIBERNATE_PD_PAGE, PAGE_SIZE);
((uint64_t *)HIBERNATE_PD_PAGE)[508] = kpm->pm_pdidx[0];
((uint64_t *)HIBERNATE_PD_PAGE)[509] = kpm->pm_pdidx[1];
((uint64_t *)HIBERNATE_PD_PAGE)[510] = kpm->pm_pdidx[2];
((uint64_t *)HIBERNATE_PD_PAGE)[511] = kpm->pm_pdidx[3];
pmap_kremove(HIBERNATE_PD_PAGE, PAGE_SIZE);
#define s4pde_4m(va) ((pt_entry_t *)HIBERNATE_PD_PAGE + atop_4m(va))
#define s4pde_4k(va) ((pt_entry_t *)HIBERNATE_PD_PAGE + atop_4k(va))