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

  /src/sys/external/bsd/gnu-efi/dist/lib/runtime/
rtdata.c 66 EFI_RESTORE_TPL LibRuntimeRestoreTPL = NULL;
  /src/sys/external/bsd/gnu-efi/dist/inc/
lib.h 94 extern EFI_RESTORE_TPL LibRuntimeRestoreTPL;
efiapi.h 214 (EFIAPI *EFI_RESTORE_TPL) (
826 EFI_RESTORE_TPL RestoreTPL;

Completed in 15 milliseconds