Searched refs:old_tpl (Results 1 – 3 of 3) sorted by relevance
115 efi_uintn_t old_tpl; in execute() local159 old_tpl = boottime->raise_tpl(TPL_CALLBACK); in execute()160 if (old_tpl != TPL_APPLICATION) { in execute()
258 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl() local269 return old_tpl; in efi_raise_tpl()281 static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl) in efi_restore_tpl() argument283 EFI_ENTRY("0x%zx", old_tpl); in efi_restore_tpl()285 if (old_tpl > efi_tpl) in efi_restore_tpl()287 efi_tpl = old_tpl; in efi_restore_tpl()
65 void (EFIAPI *restore_tpl)(efi_uintn_t old_tpl);