X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcpu%2Farm%2Fdrv%2Ftimer_at91.h;h=433c352c201d08515574a28c409529b257c73ca2;hb=563795df4180aaceb7d69306551230c98fbca879;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..433c352c 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)
 
@@ -101,6 +103,7 @@
 #endif /* CONFIG_TIMER */
 
 void timer_hw_init(void);
+void timer_hw_cleanup(void);
 
 
 #endif /* DRV_TIMER_AT91_H */