WATCHDOG_INTERVAL 49 src/dps8/dps8_rt.c #if !defined(WATCHDOG_INTERVAL) WATCHDOG_INTERVAL 100 src/dps8/dps8_rt.c WATCHDOG_MAX_MISSES, WATCHDOG_MAX_MISSES * (WATCHDOG_INTERVAL / WD_MS_SEC)); WATCHDOG_INTERVAL 144 src/dps8/dps8_rt.c (void)sim_usleep(WATCHDOG_INTERVAL); WATCHDOG_INTERVAL 161 src/dps8/dps8_rt.c (void)sim_usleep(WATCHDOG_INTERVAL); WATCHDOG_INTERVAL 165 src/dps8/dps8_rt.c (void)sim_usleep(WATCHDOG_INTERVAL);