hibernate_switch_stack_machdep
void hibernate_switch_stack_machdep(void);
hibernate_switch_stack_machdep();