Searched refs:efi_rts_id (Results 1 – 3 of 3) sorted by relevance
229 switch (efi_rts_work.efi_rts_id) { in efi_call_rts()323 efi_rts_work.efi_rts_id = id; in __efi_queue_work()348 efi_rts_work.efi_rts_id = EFI_NONE; in __efi_queue_work()523 efi_rts_work.efi_rts_id = EFI_RESET_SYSTEM; in virt_efi_reset_system()
781 if (READ_ONCE(efi_rts_work.efi_rts_id) == EFI_NONE || in efi_crash_gracefully_on_page_fault()807 if (efi_rts_work.efi_rts_id == EFI_RESET_SYSTEM) { in efi_crash_gracefully_on_page_fault()
1270 enum efi_rts_ids efi_rts_id; member