Searched defs:old_tpl (Results 1 – 2 of 2) sorted by relevance
115 efi_uintn_t old_tpl; in execute() local
249 efi_uintn_t old_tpl = efi_tpl; in efi_raise_tpl() local272 static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl) in efi_restore_tpl()