Symbol: TX2_PMU_DMC_L3C_MAX_COUNTERS