diff options
| -rw-r--r-- | kern/timer.c | 2 | ||||
| -rw-r--r-- | kern/timer.h | 2 |
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_ */ |