Searched refs:new_tpl (Results 1 – 2 of 2) sorted by relevance
304 static unsigned long EFIAPI efi_raise_tpl(efi_uintn_t new_tpl) in efi_raise_tpl() argument308 EFI_ENTRY("0x%zx", new_tpl); in efi_raise_tpl()310 if (new_tpl < efi_tpl) in efi_raise_tpl()312 efi_tpl = new_tpl; in efi_raise_tpl()
64 efi_status_t (EFIAPI *raise_tpl)(efi_uintn_t new_tpl);