00001
00039 #ifndef DRV_WDT_ARM_H
00040 #define DRV_WDT_ARM_H
00041 
00042 #include <cfg/compiler.h> // INLINE
00043 #include <cfg/macros.h> // BV
00044
00045 #if CPU_ARM_AT91
00046     #include <io/arm.h>
00047
00048     INLINE void wdt_start(uint32_t _timeout) { (void) _timeout; /* implement me */ }
00049     INLINE void wdt_stop(void) { WDT_MR = BV(WDT_WDDIS); }
00050     INLINE void wdt_reset(void)
00051     {
00052         WDT_CR = WDT_KEY | BV(WDT_WDRSTT);
00053     }
00054 #else
00055     #error "Missing watchdog support for yout CPU"
00056 #endif
00057 
00058 #endif /* DRV_WDT_ARM_H */