void
hwtimer_init(u32_t hertz, void* tick_callback)
{
- struct hwtimer* hwt_ctx = hwtimer_choose();
+ struct hwtimer* hwt_ctx = select_platform_timer();
hwt_ctx->init(hwt_ctx, hertz, tick_callback);
hwt_ctx->running_freq = hertz;
timerdev->ops.exec_cmd = __hwtimer_ioctl;
- device_register(timerdev, &hwt_ctx->class, hwt_ctx->name);
+ register_device(timerdev, &hwt_ctx->class, hwt_ctx->name);
}
\ No newline at end of file