assert_msg(timer_ctx->base_frequency, "Fail to initialize timer (NOFREQ)");
kprintf(KINFO "Base frequency: %u Hz\n", timer_ctx->base_frequency);
timer_ctx->running_frequency = frequency;
assert_msg(timer_ctx->base_frequency, "Fail to initialize timer (NOFREQ)");
kprintf(KINFO "Base frequency: %u Hz\n", timer_ctx->base_frequency);
timer_ctx->running_frequency = frequency;