efi_rts_id 722 arch/x86/platform/efi/quirks.c if (efi_rts_work.efi_rts_id == EFI_NONE) efi_rts_id 747 arch/x86/platform/efi/quirks.c if (efi_rts_work.efi_rts_id == EFI_RESET_SYSTEM) { efi_rts_id 75 drivers/firmware/efi/runtime-wrappers.c efi_rts_work.efi_rts_id = _rts; \ efi_rts_id 87 drivers/firmware/efi/runtime-wrappers.c efi_rts_work.efi_rts_id = EFI_NONE; \ efi_rts_id 189 drivers/firmware/efi/runtime-wrappers.c switch (efi_rts_work.efi_rts_id) { efi_rts_id 422 drivers/firmware/efi/runtime-wrappers.c efi_rts_work.efi_rts_id = EFI_RESET_SYSTEM; efi_rts_id 1771 include/linux/efi.h enum efi_rts_ids efi_rts_id;