mach_reboot_fixups    5 arch/x86/include/asm/reboot_fixups.h extern void mach_reboot_fixups(void);
mach_reboot_fixups  627 arch/x86/kernel/reboot.c 			mach_reboot_fixups(); /* For board specific fixups */