*
* -->
*
- * \version $Id$
*
* \author Bernie Innocenti <bernie@codewiz.org>
*
// HW dependent timer initialization
-#define DEFINE_TIMER_ISR void timer_isr(void)
+#define DEFINE_TIMER_ISR DECLARE_ISR_CONTEXT_SWITCH(timer_isr)
#define TIMER_TICKS_PER_SEC 250
#define TIMER_HW_CNT (1<<31) /* We assume 32bit integers here */
/// Type of time expressed in ticks of the hardware high-precision timer.
typedef unsigned int hptime_t;
+#define SIZEOF_HPTIME_T 4
/// Frequency of the hardware high-precision timer.
#define TIMER_HW_HPTICKS_PER_SEC 1000