Searched refs:efi_rts_id (Results 1 – 2 of 2) sorted by relevance
782 if (READ_ONCE(efi_rts_work.efi_rts_id) == EFI_NONE || in efi_crash_gracefully_on_page_fault()808 if (efi_rts_work.efi_rts_id == EFI_RESET_SYSTEM) { in efi_crash_gracefully_on_page_fault()
1249 enum efi_rts_ids efi_rts_id; member