/* Reset the platform ACPI table instance count for all SBBR-mandatory tables.  */
VOID EFIAPI ArmSbbrResetTableCounts(VOID)
/* Reset the platform ACPI table instance count for all SBBR-mandatory tables.  */
VOID EFIAPI ArmSbbrResetTableCounts(VOID)
{
  UINT32  Table;
  for (Table = 0; Table < ARRAY_SIZE (ArmSbbrTableCounts); Table++) {
    ArmSbbrTableCounts[Table].Count = 0;
  }
}