Teacup: watchdog.h Source File

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 */