Searched refs:old_tpl (Results 1 – 2 of 2) sorted by relevance
177 static void EFIAPI efi_restore_tpl(UINTN old_tpl) in efi_restore_tpl() argument179 EFI_ENTRY("0x%zx", old_tpl); in efi_restore_tpl()
51 void (EFIAPI *restore_tpl)(UINTN old_tpl);