*
* -->
*
- * \version $Id$
- *
* \author Francesco Sacchi <batt@develer.com>
*
* \brief Low-level timer module for Atmel AT91 (interface).
*/
#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)
#endif /* CONFIG_TIMER */
void timer_hw_init(void);
+void timer_hw_cleanup(void);
#endif /* DRV_TIMER_AT91_H */