Searched refs:efi_reboot_quirk_mode (Results 1 – 3 of 3) sorted by relevance
8 int efi_reboot_quirk_mode = -1; variable30 if (efi_reboot_quirk_mode != -1) in efi_reboot()31 efi_mode = efi_reboot_quirk_mode; in efi_reboot()
283 efi_reboot_quirk_mode = EFI_RESET_WARM; in efi_reboot_required()
922 extern int efi_reboot_quirk_mode;