54  * which is 80ns per tick.
56  * IoTKit/ARMSSE dualtimer; driven at 25MHz in mps2-an385, so 40ns per tick
94     /* Step to just past the 500th tick */  in test_watchdog()
95     clock_step(500 * tick + 1);  in test_watchdog()
97     g_assert_cmpuint(readl(wdog_base + WDOGVALUE), ==, 500);  in test_watchdog()
100     clock_step(500 * tick);  in test_watchdog()
109     clock_step(500 * tick);  in test_watchdog()
110     g_assert_cmpuint(readl(wdog_base + WDOGVALUE), ==, 500);  in test_watchdog()
140     /* Step to just past the 500th tick */  in test_clock_change()
141     clock_step(80 * 500 + 1);  in test_clock_change()
143     g_assert_cmpuint(readl(WDOG_BASE + WDOGVALUE), ==, 500);  in test_clock_change()
145     /* Rewrite RCC.SYSDIV from 16 to 8, so the clock is now 40ns per tick */  in test_clock_change()
152     clock_step(40 * 500);  in test_clock_change()
162     clock_step(40 * 500);  in test_clock_change()
163     g_assert_cmpuint(readl(WDOG_BASE + WDOGVALUE), ==, 500);  in test_clock_change()
248     clock_step(500 * tick + 1);  in test_watchdog_inten()
254     clock_step(500 * tick + 1);  in test_watchdog_inten()
329     clock_step(500 * tick + 1);  in test_watchdog_inten_luminary()
335     clock_step(500 * tick + 1);  in test_watchdog_inten_luminary()