00001
00041 #ifndef WATCHDOG_H_INCLUDED
00042 #define WATCHDOG_H_INCLUDED
00043
00044 #ifdef CONFIG_WATCHDOG
00045
00046 extern void watchdog_set_timeout(unsigned long timeout_ms);
00047 extern void watchdog_enable(void);
00048 extern void watchdog_disable(void);
00049 extern void watchdog_reset(void);
00050
00051 #else
00052
00053 #include <debug.h>
00054
00055 static inline void watchdog_set_timeout(unsigned long timeout_ms)
00056 {
00057
00058 }
00059
00060 static inline void watchdog_enable(void)
00061 {
00062 dbg_warning("watchdog: Driver is disabled\n");
00063 }
00064
00065 static inline void watchdog_disabled(void)
00066 {
00067
00068 }
00069
00070 static inline void watchdog_reset(void)
00071 {
00072
00073 }
00074
00075 #endif
00076
00077 #endif