XSCALE1_NUM_COUNTERS
for_each_set_bit(idx, cpu_pmu->cntr_mask, XSCALE1_NUM_COUNTERS) {
bitmap_set(cpu_pmu->cntr_mask, 0, XSCALE1_NUM_COUNTERS);