AR_CCCNT
uint32_t cc = OS_REG_READ(ah, AR_CCCNT); /* read cycles last */
cycleCount = OS_REG_READ(ah, AR_CCCNT);