xgene_pmu_write_counter32 774 drivers/perf/xgene_pmu.c xgene_pmu_write_counter32(pmu_dev, 2 * idx, cnt_lo); xgene_pmu_write_counter32 775 drivers/perf/xgene_pmu.c xgene_pmu_write_counter32(pmu_dev, 2 * idx + 1, cnt_hi); xgene_pmu_write_counter32 1748 drivers/perf/xgene_pmu.c .write_counter = xgene_pmu_write_counter32,