BOOT_ACPI        1572 arch/x86/kernel/apic/x2apic_uv_x.c 		reboot_type = BOOT_ACPI;
BOOT_ACPI          62 arch/x86/kernel/reboot.c 	if (reboot_type != BOOT_ACPI) {
BOOT_ACPI          63 arch/x86/kernel/reboot.c 		reboot_type = BOOT_ACPI;
BOOT_ACPI         621 arch/x86/kernel/reboot.c 		case BOOT_ACPI:
BOOT_ACPI         635 arch/x86/kernel/reboot.c 			if (attempt == 0 && orig_reboot_type == BOOT_ACPI) {
BOOT_ACPI         637 arch/x86/kernel/reboot.c 				reboot_type = BOOT_ACPI;
BOOT_ACPI          46 kernel/reboot.c enum reboot_type reboot_type = BOOT_ACPI;