#ifndef _WATCHDOG_H
#define _WATCHDOG_H
// initialize
void wd_init(void) __attribute__ ((cold));
// reset timeout- must be called periodically or we reboot
void wd_reset(void);
// notable lack of disable function
#endif /* _WATCHDOG_H */