hibernate_resume_machdep
void hibernate_resume_machdep(vaddr_t);
hibernate_resume_machdep(global_piglet_va + (110 * PAGE_SIZE));