Searched refs:new_tpl (Results 1 – 2 of 2) sorted by relevance
171 static unsigned long EFIAPI efi_raise_tpl(UINTN new_tpl) in efi_raise_tpl() argument173 EFI_ENTRY("0x%zx", new_tpl); in efi_raise_tpl()
50 efi_status_t (EFIAPI *raise_tpl)(UINTN new_tpl);