Searched refs:efi_reboot_quirk_mode (Results 1 – 3 of 3) sorted by relevance
11 int efi_reboot_quirk_mode = -1; variable34 if (efi_reboot_quirk_mode != -1) in efi_reboot()35 efi_mode = efi_reboot_quirk_mode; in efi_reboot()
600 efi_reboot_quirk_mode = EFI_RESET_WARM; in efi_reboot_required()
762 extern int efi_reboot_quirk_mode;
