X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcpu%2Farm%2Fdrv%2Ftimer_at91.h;h=433c352c201d08515574a28c409529b257c73ca2;hb=4635e332d9a489cb54a25b1bf37559c84181db74;hp=68e5561e03e9894721d3ff477e19d7f221b49982;hpb=32d1445272120a254d77ce8d1af1f527da7a2c17;p=bertos.git

diff --git a/bertos/cpu/arm/drv/timer_at91.h b/bertos/cpu/arm/drv/timer_at91.h
index 68e5561e..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).
@@ -65,7 +63,7 @@
 #if (CONFIG_TIMER == TIMER_ON_PIT)
 
 	/*
-	 * On ARM all IRQs are handled by the sysirq_dispatcher, so the actual
+	 * 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);	\
@@ -105,6 +103,7 @@
 #endif /* CONFIG_TIMER */
 
 void timer_hw_init(void);
+void timer_hw_cleanup(void);
 
 
 #endif /* DRV_TIMER_AT91_H */