Lines Matching refs:efi_tpl
28 static efi_uintn_t efi_tpl = TPL_APPLICATION; variable
205 if (efi_tpl >= event->notify_tpl) in efi_process_event_queue()
211 old_tpl = efi_tpl; in efi_process_event_queue()
212 efi_tpl = event->notify_tpl; in efi_process_event_queue()
215 efi_tpl = old_tpl; in efi_process_event_queue()
326 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl()
330 if (new_tpl < efi_tpl) in efi_raise_tpl()
332 efi_tpl = new_tpl; in efi_raise_tpl()
333 if (efi_tpl > TPL_HIGH_LEVEL) in efi_raise_tpl()
334 efi_tpl = TPL_HIGH_LEVEL; in efi_raise_tpl()
353 if (old_tpl > efi_tpl) in efi_restore_tpl()
355 efi_tpl = old_tpl; in efi_restore_tpl()
356 if (efi_tpl > TPL_HIGH_LEVEL) in efi_restore_tpl()
357 efi_tpl = TPL_HIGH_LEVEL; in efi_restore_tpl()
918 if (efi_tpl != TPL_APPLICATION) in efi_wait_for_event()
2157 efi_tpl = TPL_HIGH_LEVEL; in efi_exit_boot_services()