Home
last modified time | relevance | path

Searched refs:NumberDbgDeviceInfo (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/MdePkg/Include/IndustryStandard/
DDebugPort2Table.h69 UINT32 NumberDbgDeviceInfo; member
/device/linaro/bootloader/OpenPlatformPkg/Platforms/ARM/Juno/AcpiTables/
DDbg2.aslc72 …DBG2_NUM_DEBUG_PORTS /* UINT32 NumberDbgDeviceInfo */