*
* -->
*
- * \version $Id$
*
- * \author Bernardo Innocenti <bernie@develer.com>
+ * \author Bernie Innocenti <bernie@codewiz.org>
*
* \brief Low-level timer module for POSIX systems (interface).
*/
// HW dependent timer initialization
-#define DEFINE_TIMER_ISR void timer_isr(UNUSED_ARG(int, arg))
+#define DEFINE_TIMER_ISR DECLARE_ISR_CONTEXT_SWITCH(timer_isr)
/** Most Linux kernels can't do better than this (CONFIG_HZ=250). */
#define TIMER_TICKS_PER_SEC 250