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);