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

  /src/sys/external/bsd/gnu-efi/dist/lib/runtime/
rtlock.c 95 if (BS->RestoreTPL != NULL) {
96 uefi_call_wrapper(BS->RestoreTPL, 1, Tpl);
  /src/sys/external/bsd/gnu-efi/dist/lib/
hand.c 522 uefi_call_wrapper(BS->RestoreTPL, 1, OldTpl);
646 uefi_call_wrapper(BS->RestoreTPL, 1, OldTpl);
  /src/sys/external/bsd/acpica/dist/include/platform/
acefiex.h 873 ACPI_EFI_RESTORE_TPL RestoreTPL;
876 ACPI_EFI_UNKNOWN_INTERFACE RestoreTPL;
  /src/sys/external/bsd/gnu-efi/dist/inc/
efiapi.h 826 EFI_RESTORE_TPL RestoreTPL;

Completed in 270 milliseconds