char* name;
void* data;
+ struct devclass class;
struct device* timer_dev;
int (*supported)(struct hwtimer*);
ticks_t running_freq;
};
-extern struct hwtimer* current_timer;
-
void
hwtimer_init(u32_t hertz, void* tick_callback);
struct hwtimer*
-hwtimer_choose();
+select_platform_timer();
ticks_t
hwtimer_base_frequency();