*
* -->
*
- * \version $Id$
- *
* \author Francesco Sacchi <batt@develer.com>
*
* \brief Low-level timer module for Atmel AT91 (inplementation).
/** HW dependent timer initialization */
#if (CONFIG_TIMER == TIMER_ON_PIT)
+ ISR_PROTO_CONTEXT_SWITCH(timer_handler);
+
void timer_hw_init(void)
{
sysirq_init();