extern void timer_add(Timer *timer);
extern Timer *timer_abort(Timer *timer);
extern void timer_delay(time_t time);
extern void timer_udelay(utime_t utime);
INLINE time_t timer_gettick(void);
INLINE time_t timer_gettick_irq(void);
extern void timer_add(Timer *timer);
extern Timer *timer_abort(Timer *timer);
extern void timer_delay(time_t time);
extern void timer_udelay(utime_t utime);
INLINE time_t timer_gettick(void);
INLINE time_t timer_gettick_irq(void);