ARMV8_PMU_MAX_COUNTERS
#define ARMV8_PMU_COUNTER_MASK (ARMV8_PMU_MAX_COUNTERS - 1)
#define ARMV8_PMU_MAX_GENERAL_COUNTERS (ARMV8_PMU_MAX_COUNTERS - 1)
max_counters_mask = get_counters_mask(ARMV8_PMU_MAX_COUNTERS);
for (i = pmcr_n + 1; i < ARMV8_PMU_MAX_COUNTERS; i++)