Add kbd_peekMask() and kbd_getMask() functions.

[bertos.git] / bertos / drv / timer.c

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index a411dc4e8be29775aed3cc959f5af49b62f32c00..62f272ddc93274db3b20598edc425ebf7ba9ba56 100644 (file)
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -402,17 +402,14 @@ void timer_init(void)
 }
 
 
-#if (ARCH & ARCH_EMUL)
+#if (ARCH & ARCH_EMUL) || (CPU_ARM_AT91)
 /**
- * Stop timer (only used by emulator)
+ * Stop timer
  */
 void timer_cleanup(void)
 {
        MOD_CLEANUP(timer);
 
        timer_hw_cleanup();
-
-       // Hmmm... apparently, the demo app does not cleanup properly
-       //ASSERT(LIST_EMPTY(&timers_queue));
 }
-#endif /* ARCH_EMUL */
+#endif