diff options
Diffstat (limited to 'kern/timer.h')
| -rw-r--r-- | kern/timer.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kern/timer.h b/kern/timer.h index 07e46fc..f2efffa 100644 --- a/kern/timer.h +++ b/kern/timer.h @@ -131,6 +131,8 @@ extern void timer_switch(timer_t); extern void timer_read(timer_t, time_value_t *); extern void thread_read_times(thread_t, time_value_t *, time_value_t *); extern unsigned timer_delta(timer_t, timer_save_t); +extern void timer_normalize(timer_t); +extern void timer_init(timer_t); #if STAT_TIME /* @@ -178,4 +180,6 @@ MACRO_BEGIN \ } \ MACRO_END +extern void init_timers(); + #endif /* _KERN_TIMER_H_ */ |