#ifndef ASM_X86__REBOOT_FIXUPS_H
#define ASM_X86__REBOOT_FIXUPS_H
extern void mach_reboot_fixups(void);
#endif /* ASM_X86__REBOOT_FIXUPS_H */