X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcpu%2Farm%2Fdrv%2Ftimer_at91.c;h=0e02d8b40356c17f37ded106e6544201e56d6964;hb=6fffd0614f75137e8fed424c87835d4e7d478ef7;hp=f1c2887e2b0fe47b850a9ba803b1b2b7a6e91251;hpb=2c5f3d04467211d59b9387abe73c1f286ea74806;p=bertos.git

diff --git a/bertos/cpu/arm/drv/timer_at91.c b/bertos/cpu/arm/drv/timer_at91.c
index f1c2887e..0e02d8b4 100644
--- a/bertos/cpu/arm/drv/timer_at91.c
+++ b/bertos/cpu/arm/drv/timer_at91.c
@@ -30,8 +30,6 @@
  *
  * -->
  *
- * \version $Id$
- *
  * \author Francesco Sacchi <batt@develer.com>
  *
  * \brief Low-level timer module for Atmel AT91 (inplementation).
@@ -50,6 +48,8 @@
 /** HW dependent timer initialization  */
 #if (CONFIG_TIMER == TIMER_ON_PIT)
 
+	ISR_PROTO_CONTEXT_SWITCH(timer_handler);
+
 	void timer_hw_init(void)
 	{
 		sysirq_init();
@@ -75,6 +75,11 @@
 		IRQ_RESTORE(flags);
 	}
 
+	void timer_hw_cleanup(void)
+	{
+		PIT_MR &= ~BV(PITEN);
+		sysirq_setEnable(SYSIRQ_PIT, false);
+	}
 #else
 	#error Unimplemented value for CONFIG_TIMER
 #endif /* CONFIG_TIMER */