From cebb3e599473c53b5faa759f20da8279367bed69 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Wed, 16 Jul 2008 00:51:05 +0000 Subject: 2008-07-15 Barry deFreese * ipc/ipc_kmsg.c: Include and . * ipc/ipc_mqueue (ipc_mqueue_copyin): Add prototype. * kern/bootstrap.c: Include . * kern/exceptions.c: Include . * kern/ipc_kobject.h (ipc_kobject_notify): Add prototype. * kern/ipc_mig.c: Include . * kern/pc_sample.c: Include . * kern/printf.h (safe_gets): Add prototype. * kern/processor.c: Include . * kern/queue.h (insque): Add prototype. * kern/startup.c: Include and . * kern/thread.h (thread_start, kernel_thread, thread_priority, thread_set_own_priority, thread_max_priority, thread_policy, consider_thread_collect, stack_privilege): Add prototypes. * kern/timer.h (timer_normalize, timer_init, init_timers): Add prototypes. * vm/vm_map.h (vm_map_lookup_entry, vm_map_entry_delete): Add prototypes. --- kern/timer.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'kern/timer.h') diff --git a/kern/timer.h b/kern/timer.h index 07e46fc4..f2efffaf 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_ */ -- cgit v1.2.3