CCI_PMU_CNTR_LAST
for (idx = 0; idx <= CCI_PMU_CNTR_LAST(cci_pmu); idx++) {
for (idx = CCI400_PMU_CNTR0_IDX; idx <= CCI_PMU_CNTR_LAST(cci_pmu); ++idx)
return 0 <= idx && idx <= CCI_PMU_CNTR_LAST(cci_pmu);
for (idx = 0; idx <= CCI_PMU_CNTR_LAST(cci_pmu); idx++)