acpi_md_sleep_exit
int acpi_md_sleep_exit(int);
WAKECODE_FIXUP(WAKEUP_restorecpu, void *, acpi_md_sleep_exit);