armv7pmu_get_event_idx
cpu_pmu->get_event_idx = armv7pmu_get_event_idx;
idx = armv7pmu_get_event_idx(cpuc, event);