efi_mode           16 drivers/firmware/efi/reboot.c 	int efi_mode, cap_reset_mode;
efi_mode           24 drivers/firmware/efi/reboot.c 		efi_mode = EFI_RESET_WARM;
efi_mode           27 drivers/firmware/efi/reboot.c 		efi_mode = EFI_RESET_COLD;
efi_mode           35 drivers/firmware/efi/reboot.c 		efi_mode = efi_reboot_quirk_mode;
efi_mode           38 drivers/firmware/efi/reboot.c 		if (efi_mode != cap_reset_mode)
efi_mode           41 drivers/firmware/efi/reboot.c 			       "%s reset.\n", str[efi_mode], str[cap_reset_mode],
efi_mode           43 drivers/firmware/efi/reboot.c 		efi_mode = cap_reset_mode;
efi_mode           46 drivers/firmware/efi/reboot.c 	efi.reset_system(efi_mode, EFI_SUCCESS, 0, NULL);