Merge branch 'dev'
[bertos.git] / bertos / cpu / arm / drv / timer_at91.h
index 90a72cf0e7bcefa44b1e56261ef2be2737513aff..433c352c201d08515574a28c409529b257c73ca2 100644 (file)
@@ -30,8 +30,6 @@
  *
  * -->
  *
- * \version $Id$
- *
  * \author Francesco Sacchi <batt@develer.com>
  *
  * \brief Low-level timer module for Atmel AT91 (interface).
 #endif /* CONFIG_TIMER */
 
 void timer_hw_init(void);
+void timer_hw_cleanup(void);
 
 
 #endif /* DRV_TIMER_AT91_H */