x86_pmu_max_num_counters_fixed
reserved = max_pebs_events + x86_pmu_max_num_counters_fixed(cpuc->pmu);
size = INTEL_PMC_IDX_FIXED + x86_pmu_max_num_counters_fixed(NULL);