orig_reboot_type 597 arch/x86/kernel/reboot.c int orig_reboot_type = reboot_type; orig_reboot_type 635 arch/x86/kernel/reboot.c if (attempt == 0 && orig_reboot_type == BOOT_ACPI) {