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