1 #ifndef DEVICES_TIMER_H
2 #define DEVICES_TIMER_H
7 /* Number of timer interrupts per second. */
10 void timer_init (void);
11 int64_t timer_ticks (void);
12 int64_t timer_elapsed (int64_t);
14 void timer_sleep (int64_t ticks);
16 int64_t timer_ms2ticks (int64_t ms);
17 int64_t timer_us2ticks (int64_t us);
18 int64_t timer_ns2ticks (int64_t ns);
20 #endif /* devices/timer.h */