ARM_CSPMU_SET_CLR_COUNTER_NUM
(idx & (ARM_CSPMU_SET_CLR_COUNTER_NUM - 1))
ARM_CSPMU_SET_CLR_COUNTER_NUM);