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

  /src/sys/external/bsd/gnu-efi/dist/lib/runtime/
rtlock.c 51 if (BS->RaiseTPL != NULL) {
52 Lock->OwnerTpl = uefi_call_wrapper(BS->RaiseTPL, 1, Lock->Tpl);
  /src/sys/external/bsd/gnu-efi/dist/lib/
hand.c 457 OldTpl = uefi_call_wrapper(BS->RaiseTPL, 1, TPL_NOTIFY);
583 OldTpl = uefi_call_wrapper(BS->RaiseTPL, 1, TPL_NOTIFY);
  /src/sys/external/bsd/acpica/dist/include/platform/
acefiex.h 872 ACPI_EFI_RAISE_TPL RaiseTPL;
875 ACPI_EFI_UNKNOWN_INTERFACE RaiseTPL;
  /src/sys/external/bsd/gnu-efi/dist/inc/
efiapi.h 825 EFI_RAISE_TPL RaiseTPL;

Completed in 14 milliseconds