X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcpu%2Farm%2Fdrv%2Ftimer_at91.h;h=0628d3940330d3cbdd4f22bd735d1750d4815035;hb=2b74d29e47161c81ee4f055072a63a54310249c8;hp=8666893c93fc8e12a1cc4abb48b1f9ee927f40eb;hpb=8baedd5c716fca8f63e9c9b2e64071f12c29dc9d;p=bertos.git

diff --git a/bertos/cpu/arm/drv/timer_at91.h b/bertos/cpu/arm/drv/timer_at91.h
index 8666893c..0628d394 100644
--- a/bertos/cpu/arm/drv/timer_at91.h
+++ b/bertos/cpu/arm/drv/timer_at91.h
@@ -30,8 +30,6 @@
  *
  * -->
  *
- * \version $Id$
- *
  * \author Francesco Sacchi <batt@develer.com>
  *
  * \brief Low-level timer module for Atmel AT91 (interface).
@@ -64,9 +62,13 @@
  */
 #if (CONFIG_TIMER == TIMER_ON_PIT)
 
-	void timer_handler(void);
+	/*
+	 * On ARM all system IRQs are handled by the sysirq_dispatcher, so the actual
+	 * timer handler can be treated like any other normal routine.
+	 */
+	#define DEFINE_TIMER_ISR	void timer_handler(void);	\
+					void timer_handler(void)
 
-	#define DEFINE_TIMER_ISR     void timer_handler(void)
 	#define TIMER_TICKS_PER_SEC  1000
 	#define TIMER_HW_CNT         (CPU_FREQ / (16 * TIMER_TICKS_PER_SEC) - 1)