HomeSort by: relevance | last modified time | path
    Searched refs:OldTpl (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/external/bsd/gnu-efi/dist/lib/
hand.c 449 EFI_TPL OldTpl;
457 OldTpl = uefi_call_wrapper(BS->RaiseTPL, 1, TPL_NOTIFY);
522 uefi_call_wrapper(BS->RestoreTPL, 1, OldTpl);
576 EFI_TPL OldTpl;
583 OldTpl = uefi_call_wrapper(BS->RaiseTPL, 1, TPL_NOTIFY);
646 uefi_call_wrapper(BS->RestoreTPL, 1, OldTpl);
  /src/sys/external/bsd/gnu-efi/dist/inc/
efiapi.h 215 IN EFI_TPL OldTpl

Completed in 13 milliseconds