efi_reboot_quirk_mode 598 arch/x86/platform/efi/quirks.c efi_reboot_quirk_mode = EFI_RESET_WARM; efi_reboot_quirk_mode 11 drivers/firmware/efi/reboot.c int efi_reboot_quirk_mode = -1; efi_reboot_quirk_mode 34 drivers/firmware/efi/reboot.c if (efi_reboot_quirk_mode != -1) efi_reboot_quirk_mode 35 drivers/firmware/efi/reboot.c efi_mode = efi_reboot_quirk_mode; efi_reboot_quirk_mode 1091 include/linux/efi.h extern int efi_reboot_quirk_mode;