22 static efi_uintn_t efi_tpl = TPL_APPLICATION;  variable
185 		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()
280 		efi_tpl = TPL_HIGH_LEVEL;  in efi_restore_tpl()
792 	if (efi_tpl != TPL_APPLICATION)  in efi_wait_for_event()
1810 	efi_tpl = TPL_HIGH_LEVEL;  in efi_exit_boot_services()