watchdog_recover  172 src/dps8/dps8_rt.c         watchdog_recover();
watchdog_recover   28 src/dps8/dps8_rt.h void watchdog_recover(void);