42     int64_t tick;  member
60         .tick = 80,
65         .tick = 40,
85     int64_t tick = args->tick;  in test_watchdog()  local
95     clock_step(500 * tick + 1);  in test_watchdog()
100     clock_step(500 * tick);  in test_watchdog()
105     clock_step(tick);  in test_watchdog()
109     clock_step(500 * tick);  in test_watchdog()
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()