// UINT16 Reserved\r
Gicd->Reserved1 = EFI_ACPI_RESERVED_WORD;\r
// UINT32 Identifier\r
- Gicd->GicId = GicDInfo->GicId;\r
+ // One, and only one, GIC distributor structure must be present\r
+ // in the MADT for an ARM based system\r
+ Gicd->GicId = 0;\r
// UINT64 PhysicalBaseAddress\r
Gicd->PhysicalBaseAddress = GicDInfo->PhysicalBaseAddress;\r
// UINT32 VectorBase\r
CfgMgrProtocol,\r
This,\r
&Madt->Header,\r
- AcpiTableInfo->AcpiTableRevision,\r
+ AcpiTableInfo,\r
TableSize\r
);\r
if (EFI_ERROR (Status)) {\r