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) {