WAKECODE_FIXUP
WAKECODE_FIXUP(WAKEUP_vesa_modenum, uint16_t, acpi_md_vesa_modenum);
WAKECODE_FIXUP(WAKEUP_vbios_reset, uint8_t, acpi_md_vbios_reset);
WAKECODE_FIXUP(WAKEUP_beep_on_reset, uint8_t, acpi_md_beep_on_reset);
WAKECODE_FIXUP(WAKEUP_vesa_modenum, uint16_t, 0);
WAKECODE_FIXUP(WAKEUP_vbios_reset, uint8_t, 0);
WAKECODE_FIXUP(WAKEUP_beep_on_reset, uint8_t, 0);
WAKECODE_FIXUP(WAKEUP_r_cr4, uint32_t, ci->ci_suspend_cr4);
WAKECODE_FIXUP(WAKEUP_efer, uint32_t, ci->ci_suspend_efer);
WAKECODE_FIXUP(WAKEUP_curcpu, void *, ci);
WAKECODE_FIXUP(WAKEUP_r_cr3, uint32_t, tmp_pdir);
WAKECODE_FIXUP(WAKEUP_r_cr3, uint64_t, tmp_pdir);
WAKECODE_FIXUP(WAKEUP_restorecpu, void *, acpi_md_sleep_exit);