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()
249 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl() local260 return old_tpl; in efi_raise_tpl()272 static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl) in efi_restore_tpl() argument274 EFI_ENTRY("0x%zx", old_tpl); in efi_restore_tpl()276 if (old_tpl > efi_tpl) in efi_restore_tpl()278 efi_tpl = old_tpl; in efi_restore_tpl()
52 void (EFIAPI *restore_tpl)(efi_uintn_t old_tpl);