1 files changed, 2 insertions, 1 deletions
diff --git a/kern/timer.c b/kern/timer.c
index d6d1d9d2..f61ab71f 100644
--- a/kern/timer.c
+++ b/kern/timer.c
@@ -423,7 +423,8 @@ INIT_OP_DEFINE(timer_setup,
                INIT_OP_DEP(boot_setup_intr, true),
                INIT_OP_DEP(cpu_mp_probe, true));
 
-void timer_init(struct timer *timer, timer_fn_t fn, int flags)
+void
+timer_init(struct timer *timer, timer_fn_t fn, int flags)
 {
     timer->fn = fn;
     timer->cpu = TIMER_INVALID_CPU;