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