HomeSort by relevance Sort by last modified time
    Searched defs:EFI_RESOURCE_TYPE (Results 1 - 3 of 3) sorted by null

  /device/linaro/bootloader/edk2/EdkCompatibilityPkg/Foundation/Framework/Include/
PeiHob.h 105 typedef UINT32 EFI_RESOURCE_TYPE;
146 EFI_RESOURCE_TYPE ResourceType;
  /device/linaro/bootloader/edk2/MdePkg/Include/Pi/
PiHob.h 230 typedef UINT32 EFI_RESOURCE_TYPE;
322 /// The resource type enumeration as defined by EFI_RESOURCE_TYPE.
324 EFI_RESOURCE_TYPE ResourceType;
  /external/syslinux/gpxe/src/include/gpxe/efi/Pi/
PiHob.h 162 typedef UINT32 EFI_RESOURCE_TYPE;
216 EFI_RESOURCE_TYPE ResourceType;

Completed in 529 milliseconds