#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 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;