/* Add the GIC Interrupt Translation Service Information to the MADT Table. */
STATIC VOID AddGICItsList(IN EFI_ACPI_6_5_GIC_ITS_STRUCTURE *GicIts, IN CONST CM_ARM_GIC_ITS_INFO *GicItsInfo, IN UINT32 GicItsCount)
/* Add the GIC Interrupt Translation Service Information to the MADT Table. */
STATIC VOID AddGICItsList(IN EFI_ACPI_6_5_GIC_ITS_STRUCTURE *GicIts, IN CONST CM_ARM_GIC_ITS_INFO *GicItsInfo, IN UINT32 GicItsCount)
{
  ASSERT (GicIts != NULL);
  ASSERT (GicItsInfo != NULL);
  while (GicItsCount-- != 0) {
    AddGICInterruptTranslationService (GicIts++, GicItsInfo++);
  }
}