xgene_pmu_read_counter32  752 drivers/perf/xgene_pmu.c 		hi = xgene_pmu_read_counter32(pmu_dev, 2 * idx + 1);
xgene_pmu_read_counter32  753 drivers/perf/xgene_pmu.c 		lo = xgene_pmu_read_counter32(pmu_dev, 2 * idx);
xgene_pmu_read_counter32  754 drivers/perf/xgene_pmu.c 	} while (hi != xgene_pmu_read_counter32(pmu_dev, 2 * idx + 1));
xgene_pmu_read_counter32 1747 drivers/perf/xgene_pmu.c 	.read_counter = xgene_pmu_read_counter32,