47     s->counter = (s->counter + ticks) % BIT(bitwidths[s->bitmode]);  in update_counter()
57 /* Assumes s->counter is up-to-date */
70         if (s->cc[i] <= s->counter) {  in rearm_timer()
72                                       s->counter + s->cc[i]);  in rearm_timer()
74             delta_ns = ticks_to_ns(s, s->cc[i] - s->counter);  in rearm_timer()
108         if (s->cc[i] > s->counter) {  in timer_expire()
109             cc_remaining[i] = s->cc[i] - s->counter;  in timer_expire()
112                               s->counter + s->cc[i];  in timer_expire()
125                 s->counter = 0;  in timer_expire()
144     uint32_t counter = s->counter;  in counter_compare()  local
148         if (counter == s->cc[i]) {  in counter_compare()
152                 s->counter = 0;  in counter_compare()
212             s->timer_start_ns = now - ticks_to_ns(s, s->counter);  in nrf51_timer_write()
226             s->counter = (s->counter + 1) % BIT(bitwidths[s->bitmode]);  in nrf51_timer_write()
234             s->counter = 0;  in nrf51_timer_write()
243                 timer_expire(s); /* update counter and all state */  in nrf51_timer_write()
247             s->cc[idx] = s->counter;  in nrf51_timer_write()
248             trace_nrf51_timer_set_count(s->id, idx, s->counter);  in nrf51_timer_write()
256                 timer_expire(s); /* update counter and all state */  in nrf51_timer_write()
290             timer_expire(s); /* update counter */  in nrf51_timer_write()
337     s->counter = 0x00;  in nrf51_timer_reset()
368         VMSTATE_UINT32(counter, NRF51TimerState),