prev_timestamp    162 src/dps8/dps8_rt.c   time_t prev_timestamp = watchdog_timestamp;
prev_timestamp    169 src/dps8/dps8_rt.c     if (current_timestamp == prev_timestamp) {
prev_timestamp    178 src/dps8/dps8_rt.c     prev_timestamp = current_timestamp;