diff options
Diffstat (limited to 'kern/timer.c')
| -rw-r--r-- | kern/timer.c | 2 |
1 files changed, 0 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 |