pmu_read_register
if (!(pmu_read_register(cci_pmu, idx, CCI_PMU_OVRFLW) &
return (pmu_read_register(cci_pmu, idx, CCI_PMU_CNTR_CTRL) & 0x1) != 0;
value = pmu_read_register(cci_pmu, idx, CCI_PMU_CNTR);