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,