Searched refs:efi_restore_tpl (Results 1 – 1 of 1) sorted by relevance
272 static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl) in efi_restore_tpl() function2996 .restore_tpl = efi_restore_tpl,