20 #include "libqtest-single.h"
56  * IoTKit/ARMSSE dualtimer; driven at 25MHz in mps2-an385, so 40ns per tick
67         .machine = "mps2-an385",
84     hwaddr wdog_base = args->wdog_base;  in test_watchdog()
85     int64_t tick = args->tick;  in test_watchdog()
86     g_autofree gchar *cmdline = g_strdup_printf("-machine %s", args->machine);  in test_watchdog()
108     /* Writing any value to WDOGINTCLR clears the interrupt and reloads */  in test_watchdog()
127     g_autofree gchar *cmdline = g_strdup_printf("-machine %s", args->machine);  in test_clock_change()
161     /* Writing any value to WDOGINTCLR clears the interrupt and reloads */  in test_clock_change()
172 /* Tests the counter is not running after reset. */
176     hwaddr wdog_base = args->wdog_base;  in test_watchdog_reset()
177     int64_t tick = args->tick;  in test_watchdog_reset()
178     g_autofree gchar *cmdline = g_strdup_printf("-machine %s", args->machine);  in test_watchdog_reset()
188      * The counter should not be running if WDOGCONTROL.INTEN has not been set,  in test_watchdog_reset()
195     /* Let the counter run before reset */  in test_watchdog_reset()
210     /* The counter should not be running after reset. */  in test_watchdog_reset()
219  * Tests inten works as the counter enable based on this description:
221  * Enable the interrupt event, WDOGINT. Set HIGH to enable the counter and the
222  * interrupt, or LOW to disable the counter and interrupt. Reloads the counter
223  * from the value in WDOGLOAD when the interrupt is enabled, after previously
229     hwaddr wdog_base = args->wdog_base;  in test_watchdog_inten()
230     int64_t tick = args->tick;  in test_watchdog_inten()
231     g_autofree gchar *cmdline = g_strdup_printf("-machine %s", args->machine);  in test_watchdog_inten()
242      * Note: the counter should not be running as long as WDOGCONTROL.INTEN is  in test_watchdog_inten()
252     /* Set HIGH WDOGCONTROL.INTEN to enable the counter and the interrupt */  in test_watchdog_inten()
258     /* or LOW to disable the counter and interrupt. */  in test_watchdog_inten()
265      * Reloads the counter from the value in WDOGLOAD when the interrupt is  in test_watchdog_inten()
272     /* Test counter is still on */  in test_watchdog_inten()
281      * Note: the counter should be running since WDOGCONTROL.INTEN is set  in test_watchdog_inten()
310     hwaddr wdog_base = args->wdog_base;  in test_watchdog_inten_luminary()
311     int64_t tick = args->tick;  in test_watchdog_inten_luminary()
312     g_autofree gchar *cmdline = g_strdup_printf("-machine %s", args->machine);  in test_watchdog_inten_luminary()
323      * Note: the counter should not be running as long as WDOGCONTROL.INTEN is  in test_watchdog_inten_luminary()
333     /* Set HIGH WDOGCONTROL.INTEN to enable the counter and the interrupt */  in test_watchdog_inten_luminary()
357     /* The counter should not be running after reset. */  in test_watchdog_inten_luminary()
373         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog",  in main()
375         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog_clock_change",  in main()
378         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog_reset",  in main()
381         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog_inten_luminary",  in main()
386         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog_mps2",  in main()
388         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog_reset_mps2",  in main()
391         qtest_add_data_func("/cmsdk-apb-watchdog/watchdog_inten",  in main()