summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
Diffstat (limited to 'kern')
-rw-r--r--kern/timer.c2
-rw-r--r--kern/timer.h2
2 files changed, 2 insertions, 2 deletions
diff --git a/kern/timer.c b/kern/timer.c
index d16329a..0c73c69 100644
--- a/kern/timer.c
+++ b/kern/timer.c
@@ -40,8 +40,6 @@
timer_t current_timer[NCPUS];
timer_data_t kernel_timer[NCPUS];
-void timer_init(); /* forward */
-
/*
* init_timers initializes all non-thread timers and puts the
* service routine on the callout queue. All timers must be
diff --git a/kern/timer.h b/kern/timer.h
index f5095b5..76a4117 100644
--- a/kern/timer.h
+++ b/kern/timer.h
@@ -184,4 +184,6 @@ extern void init_timers(void);
void softclock(void);
+void timer_init(timer_t this_timer);
+
#endif /* _KERN_TIMER_H_ */