hibernate_enable_intr_machdep
void hibernate_enable_intr_machdep(void);
hibernate_enable_intr_machdep();