/* Add the GIC Redistributor Information to the MADT Table. */
STATIC VOID AddGICRedistributorList(IN EFI_ACPI_6_5_GICR_STRUCTURE *Gicr, IN CONST CM_ARM_GIC_REDIST_INFO *GicRInfo, IN UINT32 GicRCount)
/* Add the GIC Redistributor Information to the MADT Table. */
STATIC VOID AddGICRedistributorList(IN EFI_ACPI_6_5_GICR_STRUCTURE *Gicr, IN CONST CM_ARM_GIC_REDIST_INFO *GicRInfo, IN UINT32 GicRCount)
{
  ASSERT (Gicr != NULL);
  ASSERT (GicRInfo != NULL);
  while (GicRCount-- != 0) {
    AddGICRedistributor (Gicr++, GicRInfo++);
  }
}