Searched refs:efi_rts_id (Results 1 – 3 of 3) sorted by relevance
75 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()
699 if (efi_rts_work.efi_rts_id == EFI_NONE) in efi_recover_from_page_fault()724 if (efi_rts_work.efi_rts_id == EFI_RESET_SYSTEM) { in efi_recover_from_page_fault()
1225 enum efi_rts_ids efi_rts_id; member