CCI_PMU_CNTR
value = pmu_read_register(cci_pmu, idx, CCI_PMU_CNTR);
pmu_write_register(cci_pmu, value, idx, CCI_PMU_CNTR);