X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Femul%2Ftimer_posix.h;h=acfdbe41c8fa64d40e82a6e8b644362155a17ac3;hb=b46f64914c62fbb0297728280478681659469654;hp=a8043dfc5304147104f66b454b49544be7b9d414;hpb=4cc44c9888a0336b9d01121ec0b7ad95f4a76195;p=bertos.git

diff --git a/bertos/emul/timer_posix.h b/bertos/emul/timer_posix.h
index a8043dfc..acfdbe41 100644
--- a/bertos/emul/timer_posix.h
+++ b/bertos/emul/timer_posix.h
@@ -30,7 +30,6 @@
  *
  * -->
  *
- * \version $Id$
  *
  * \author Bernie Innocenti <bernie@codewiz.org>
  *
@@ -41,7 +40,7 @@
 
 // HW dependent timer initialization
 
-#define DEFINE_TIMER_ISR     void timer_isr(UNUSED_ARG(int, arg))
+#define DEFINE_TIMER_ISR     DECLARE_ISR_CONTEXT_SWITCH(timer_isr)
 
 /** Most Linux kernels can't do better than this (CONFIG_HZ=250). */
 #define TIMER_TICKS_PER_SEC  250