WD_MS_SEC          57 src/dps8/dps8_rt.c #if !defined(WD_MS_SEC)
WD_MS_SEC         100 src/dps8/dps8_rt.c                   WATCHDOG_MAX_MISSES, WATCHDOG_MAX_MISSES * (WATCHDOG_INTERVAL / WD_MS_SEC));