reboot_fixups.h 13 arch/x86/kernel/reboot.c #include <asm/reboot_fixups.h> reboot_fixups.h 13 arch/x86/kernel/reboot_fixups_32.c #include <asm/reboot_fixups.h>