/* Update the GIC Distributor Information in the MADT Table. */
STATIC VOID AddGICD(EFI_ACPI_6_5_GIC_DISTRIBUTOR_STRUCTURE *CONST Gicd, CONST CM_ARM_GICD_INFO *CONST GicDInfo)
/* Update the GIC Distributor Information in the MADT Table. */
STATIC VOID AddGICD(EFI_ACPI_6_5_GIC_DISTRIBUTOR_STRUCTURE *CONST Gicd, CONST CM_ARM_GICD_INFO *CONST GicDInfo)
{
  ASSERT (Gicd != NULL);
  ASSERT (GicDInfo != NULL);
  Gicd->Type = EFI_ACPI_6_5_GICD;
  Gicd->Length = sizeof (EFI_ACPI_6_5_GIC_DISTRIBUTOR_STRUCTURE);
  Gicd->Reserved1 = EFI_ACPI_RESERVED_WORD;
  Gicd->GicId = 0;
  Gicd->PhysicalBaseAddress = GicDInfo->PhysicalBaseAddress;
  Gicd->SystemVectorBase = EFI_ACPI_RESERVED_DWORD;
  Gicd->GicVersion = GicDInfo->GicVersion;
  Gicd->Reserved2[0] = EFI_ACPI_RESERVED_BYTE;
  Gicd->Reserved2[1] = EFI_ACPI_RESERVED_BYTE;
  Gicd->Reserved2[2] = EFI_ACPI_RESERVED_BYTE;
}