mach_reboot_fixups  570 arch/x86/kernel/reboot.c void __attribute__((weak)) mach_reboot_fixups(void)
mach_reboot_fixups   82 arch/x86/kernel/reboot_fixups_32.c void mach_reboot_fixups(void)