arm_ccn_pmu_read_counter
new_count = arm_ccn_pmu_read_counter(ccn, hw->idx);
arm_ccn_pmu_read_counter(ccn, hw->idx));