42     int64_t tick;  member
54  * which is 80ns per tick.
56  * IoTKit/ARMSSE dualtimer; driven at 25MHz in mps2-an385, so 40ns per tick
60         .tick = 80,
65         .tick = 40,
85     int64_t tick = args->tick;  in test_watchdog()  local
94     /* Step to just past the 500th tick */  in test_watchdog()
95     clock_step(500 * tick + 1);  in test_watchdog()
99     /* Just past the 1000th tick: timer should have fired */  in test_watchdog()
100     clock_step(500 * tick);  in test_watchdog()
104     /* VALUE reloads at following tick */  in test_watchdog()
105     clock_step(tick);  in test_watchdog()
109     clock_step(500 * tick);  in test_watchdog()
140     /* Step to just past the 500th tick */  in test_clock_change()
145     /* Rewrite RCC.SYSDIV from 16 to 8, so the clock is now 40ns per tick */  in test_clock_change()
151     /* Just past the 1000th tick: timer should have fired */  in test_clock_change()
157     /* VALUE reloads at following tick */  in test_clock_change()
177     int64_t tick = args->tick;  in test_watchdog_reset()  local
191     clock_step(15 * tick + 1);  in test_watchdog_reset()
200     clock_step(1000 * tick + 1);  in test_watchdog_reset()
211     clock_step(1000 * tick + 1);  in test_watchdog_reset()
230     int64_t tick = args->tick;  in test_watchdog_inten()  local
248     clock_step(500 * tick + 1);  in test_watchdog_inten()
254     clock_step(500 * tick + 1);  in test_watchdog_inten()
260     clock_step(100 * tick);  in test_watchdog_inten()
273     clock_step(50 * tick + 1);  in test_watchdog_inten()
286     clock_step(4999 * tick + 1);  in test_watchdog_inten()
293     clock_step(10 * tick);  in test_watchdog_inten()
311     int64_t tick = args->tick;  in test_watchdog_inten_luminary()  local
329     clock_step(500 * tick + 1);  in test_watchdog_inten_luminary()
335     clock_step(500 * tick + 1);  in test_watchdog_inten_luminary()
344     clock_step(100 * tick);  in test_watchdog_inten_luminary()
358     clock_step(1000 * tick + 1);  in test_watchdog_inten_luminary()