timer_posix.h

Go to the documentation of this file.

#ifndef DRV_TIMER_POSIX_H
#define DRV_TIMER_POSIX_H

// HW dependent timer initialization

#define DEFINE_TIMER_ISR     void timer_isr(UNUSED_ARG(int, arg))

#define TIMER_TICKS_PER_SEC  250

#define TIMER_HW_CNT         (1<<31) /* We assume 32bit integers here */

#include <os/hptime.h>

#define TIMER_HW_HPTICKS_PER_SEC  HPTIME_TICKS_PER_SECOND

#define timer_hw_irq() do {} while (0)

#endif /* DRV_TIMER_POSIX_H */