Searched refs:efi_tpl (Results 1 – 1 of 1) sorted by relevance
21 static efi_uintn_t efi_tpl = TPL_APPLICATION; variable175 if (check_tpl && efi_tpl >= event->notify_tpl) in efi_queue_event()258 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl()262 if (new_tpl < efi_tpl) in efi_raise_tpl()264 efi_tpl = new_tpl; in efi_raise_tpl()265 if (efi_tpl > TPL_HIGH_LEVEL) in efi_raise_tpl()266 efi_tpl = TPL_HIGH_LEVEL; in efi_raise_tpl()285 if (old_tpl > efi_tpl) in efi_restore_tpl()287 efi_tpl = old_tpl; in efi_restore_tpl()288 if (efi_tpl > TPL_HIGH_LEVEL) in efi_restore_tpl()[all …]