mach_reboot_fixups 358 arch/x86/kernel/reboot.c void __attribute__((weak)) mach_reboot_fixups(void) mach_reboot_fixups 65 arch/x86/kernel/reboot_fixups_32.c void mach_reboot_fixups(void)