00001 #ifndef _WATCHDOG_H 00002 #define _WATCHDOG_H 00003 00004 #include "config.h" 00005 00006 #ifdef USE_WATCHDOG 00007 00008 // initialize 00009 void wd_init(void) __attribute__ ((cold)); 00010 00011 // reset timeout- must be called periodically or we reboot 00012 void wd_reset(void); 00013 00014 // notable lack of disable function 00015 00016 #else /* USE_WATCHDOG */ 00017 00018 #define wd_init() /* empty */ 00019 #define wd_reset() /* empty */ 00020 00021 #endif /* USE_WATCHDOG */ 00022 #endif /* _WATCHDOG_H */
1.7.2
