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;