typedef struct _EXT_IOMMU_DEVICE_ID_GIC                                         // 1 / 1 elements; 0x0004 / 0x0004 Bytes
{
    UINT32                      LineNumber;                                     // 0x0000 / 0x0000; 0x0004 / 0x0004 Bytes
} EXT_IOMMU_DEVICE_ID_GIC, * PEXT_IOMMU_DEVICE_ID_GIC;

Return to OS-specific structures/unions/enums list.
Return to OS version list.