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()
181 efi_uintn_t old_tpl; in efi_process_event_queue() local191 old_tpl = efi_tpl; in efi_process_event_queue()195 efi_tpl = old_tpl; in efi_process_event_queue()306 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl() local317 return old_tpl; in efi_raise_tpl()329 static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl) in efi_restore_tpl() argument331 EFI_ENTRY("0x%zx", old_tpl); in efi_restore_tpl()333 if (old_tpl > efi_tpl) in efi_restore_tpl()335 efi_tpl = old_tpl; in efi_restore_tpl()
65 void (EFIAPI *restore_tpl)(efi_uintn_t old_tpl);