Searched refs:efi_tpl (Results 1 – 1 of 1) sorted by relevance
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()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()357 efi_tpl = TPL_HIGH_LEVEL; in efi_restore_tpl()[all …]
Completed in 7 milliseconds