Symbol: hibernate_enter_resume_4k_pde
sys/arch/i386/i386/hibernate_machdep.c
297
hibernate_enter_resume_4k_pde(0);
sys/arch/i386/i386/hibernate_machdep.c
48
void hibernate_enter_resume_4k_pde(vaddr_t);