X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=a59f2a77aaa258071ac0eade8095514d536dba10;hb=c8f7b2058f1ea7e68cad20bd076e5f5d6b2435d5;hp=91784f9a8c96a2a033cfe0a4846a6bc2cd361f12;hpb=f0c6ef0573ea9487ce6852249828cfd39cdae6bf;p=bertos.git

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index 91784f9a..a59f2a77 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -158,6 +158,8 @@ INLINE void timer_addToList(Timer *timer, List *queue)
  * When the delay indicated by the timer expires, the timer
  * device will execute the event associated with it.
  *
+ * You should not call this function on an already running timer.
+ *
  * \note Interrupt safe
  */
 void timer_add(Timer *timer)
@@ -400,7 +402,7 @@ void timer_init(void)
 }
 
 
-#if (ARCH & ARCH_EMUL)
+#if (ARCH & ARCH_EMUL) || (CPU_ARM_AT91)
 /**
  * Stop timer (only used by emulator)
  */