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

  /src/sys/external/bsd/gnu-efi/dist/lib/runtime/
rtdata.c 65 EFI_RAISE_TPL LibRuntimeRaiseTPL = NULL;
  /src/sys/external/bsd/gnu-efi/dist/inc/
lib.h 93 extern EFI_RAISE_TPL LibRuntimeRaiseTPL;
efiapi.h 208 (EFIAPI *EFI_RAISE_TPL) (
825 EFI_RAISE_TPL RaiseTPL;

Completed in 14 milliseconds