Home
last modified time | relevance | path

Searched refs:efi_rts_id (Results 1 – 3 of 3) sorted by relevance

/Linux-v5.10/drivers/firmware/efi/
Druntime-wrappers.c75 efi_rts_work.efi_rts_id = _rts; \
87 efi_rts_work.efi_rts_id = EFI_NONE; \
189 switch (efi_rts_work.efi_rts_id) { in efi_call_rts()
422 efi_rts_work.efi_rts_id = EFI_RESET_SYSTEM; in virt_efi_reset_system()
/Linux-v5.10/arch/x86/platform/efi/
Dquirks.c698 if (efi_rts_work.efi_rts_id == EFI_NONE) in efi_recover_from_page_fault()
723 if (efi_rts_work.efi_rts_id == EFI_RESET_SYSTEM) { in efi_recover_from_page_fault()
/Linux-v5.10/include/linux/
Defi.h1221 enum efi_rts_ids efi_rts_id; member