1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/timer.h b/kernel/timer.h
index 33c04ce..1e1d6e0 100644
--- a/kernel/timer.h
+++ b/kernel/timer.h
@@ -1,7 +1,8 @@
 #include <arch/i386/tsc.h>
 #include <drivers/cmos.h>
 
-void timer_init(void);
+void timer_start_init(void);
+void timer_wait_for_init();
 void timer_get(struct timespec *tp);
 u64 timer_get_uptime(void);
 u64 timer_get_ms(void);