x86_pmu_max_num_counters
for (i = 0; i < x86_pmu_max_num_counters(NULL) - 1; i += 2)
x86_pmu_max_num_counters(NULL) / 2, 0,
for_each_set_bit(idx, c->idxmsk, x86_pmu_max_num_counters(NULL)) {
int gpmax = x86_pmu_max_num_counters(cpuc->pmu);
*nr = x86_pmu_max_num_counters(cpuc->pmu);