Add watchdog timer support.
authorbernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 16 Nov 2004 20:59:06 +0000 (20:59 +0000)
committerbernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 16 Nov 2004 20:59:06 +0000 (20:59 +0000)
git-svn-id: https://src.develer.com/svnoss/bertos/trunk@271 38d2e660-2303-0410-9eaa-f027e97ec537

drv/timer.c

index 5a62332f1816656f8f09a41bc35a8038aebd0e64..2bffa92d9d3ffc6aa383495c2481d5852569c4b9 100755 (executable)
@@ -14,6 +14,9 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.20  2004/11/16 20:59:06  bernie
+ *#* Add watchdog timer support.
+ *#*
  *#* Revision 1.19  2004/10/19 08:56:49  bernie
  *#* TIMER_STROBE_ON, TIMER_STROBE_OFF, TIMER_STROBE_INIT: Move from timer_avr.h to timer.h, where they really belong.
  *#*
 #include <hw.h>
 #include CPU_HEADER(timer)
 #include <debug.h>
+#include <config.h>
 
-#if defined(CONFIG_KERN_SIGNALS) && CONFIG_KERN_SIGNALS
+/*
+ * Sanity check for config parameters required by this module.
+ */
+#if !defined(CONFIG_KERNEL) || ((CONFIG_KERNEL != 0) && CONFIG_KERNEL != 1)
+       #error CONFIG_KERNEL must be set to either 0 or 1 in config.h
+#endif
+#if !defined(CONFIG_WATCHDOG) || ((CONFIG_WATCHDOG != 0) && CONFIG_WATCHDOG != 1)
+       #error CONFIG_WATCHDOG must be set to either 0 or 1 in config.h
+#endif
+
+#if CONFIG_WATCHDOG
+       #include <drv/wdt.h>
+#endif
+
+#if CONFIG_KERNEL && CONFIG_KERN_SIGNALS
        #include <kern/proc.h>
 #endif
 
@@ -192,7 +210,12 @@ void timer_delay(time_t time)
        time_t start = timer_ticks();
 
        /* Busy wait */
-       while (timer_ticks() - start < time) { /* nop */ }
+       while (timer_ticks() - start < time)
+       {
+#if CONFIG_WATCHDOG
+               wdt_reset();
+#endif
+       }
 
 #endif /* !CONFIG_KERN_SIGNALS */
 }