miss_count        156 src/dps8/dps8_rt.c   int miss_count = 0;
miss_count        170 src/dps8/dps8_rt.c       miss_count++;
miss_count        171 src/dps8/dps8_rt.c       if (miss_count >= WATCHDOG_MAX_MISSES) {
miss_count        175 src/dps8/dps8_rt.c       miss_count = 0;