#ifndef ASM_X86__REBOOT_FIXUPS_H
#define ASM_X86__REBOOT_FIXUPS_H

extern void mach_reboot_fixups(void);

#endif /* ASM_X86__REBOOT_FIXUPS_H */