*
* -->
*
- * \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)
/** Type of time expressed in ticks of the hardware high-precision timer */
typedef uint32_t hptime_t;
+ #define SIZEOF_HPTIME_T 4
INLINE void timer_hw_irq(void)
{