Searched refs:efi_tpl (Results 1 – 1 of 1) sorted by relevance
22 static efi_uintn_t efi_tpl = TPL_APPLICATION; variable185 if (check_tpl && efi_tpl >= event->notify_tpl) in efi_queue_event()249 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl()253 if (new_tpl < efi_tpl) in efi_raise_tpl()255 efi_tpl = new_tpl; in efi_raise_tpl()256 if (efi_tpl > TPL_HIGH_LEVEL) in efi_raise_tpl()257 efi_tpl = TPL_HIGH_LEVEL; in efi_raise_tpl()276 if (old_tpl > efi_tpl) in efi_restore_tpl()278 efi_tpl = old_tpl; in efi_restore_tpl()279 if (efi_tpl > TPL_HIGH_LEVEL) in efi_restore_tpl()[all …]