Lines Matching refs:reboot_type
61 if (reboot_type != BOOT_ACPI) {
62 reboot_type = BOOT_ACPI;
75 if (reboot_type != BOOT_BIOS) {
76 reboot_type = BOOT_BIOS;
89 if (reboot_type != BOOT_EFI && !efi_runtime_disabled()) {
90 reboot_type = BOOT_EFI;
141 if (reboot_type != BOOT_CF9_FORCE) {
142 reboot_type = BOOT_CF9_FORCE;
151 if (reboot_type != BOOT_KBD) {
152 reboot_type = BOOT_KBD;
499 * Only do the DMI check if reboot_type hasn't been overridden
513 reboot_type = BOOT_EFI;
631 int orig_reboot_type = reboot_type;
649 reboot_type = BOOT_EFI;
654 switch (reboot_type) {
657 reboot_type = BOOT_KBD;
671 reboot_type = BOOT_ACPI;
673 reboot_type = BOOT_EFI;
679 reboot_type = BOOT_BIOS;
686 reboot_type = BOOT_CF9_SAFE;
703 reboot_type = BOOT_TRIPLE;
711 reboot_type = BOOT_KBD;