hibernate_enter_resume_2m_pde
return hibernate_enter_resume_2m_pde(va, pa);
void hibernate_enter_resume_2m_pde(vaddr_t, paddr_t);