135         int64_t interval = (uint64_t)((s->reg_count & COUNTER_CTRL_INT) ?  in cadence_timer_run()  local
137         next_value = (s->reg_count & COUNTER_CTRL_DEC) ? -1ULL : interval;  in cadence_timer_run()
159     int64_t interval = ((s->reg_count & COUNTER_CTRL_INT) ?  in cadence_timer_sync()  local
176         if (m > interval) {  in cadence_timer_sync()
179         /* check to see if match event has occurred. check m +/- interval  in cadence_timer_sync()
182             is_between(m + interval, s->reg_value, x) ||  in cadence_timer_sync()
183             is_between(m - interval, s->reg_value, x)) {  in cadence_timer_sync()
187     if ((x < 0) || (x >= interval)) {  in cadence_timer_sync()
192         x += interval;  in cadence_timer_sync()
194     s->reg_value = (uint32_t)(x % interval);  in cadence_timer_sync()
314     case 0x24: /* interval register */  in cadence_ttc_write()