1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/timer.h b/kernel/timer.h
index 4859925..3b9ecdf 100644
--- a/kernel/timer.h
+++ b/kernel/timer.h
@@ -1 +1,5 @@
+#include "lib/int/stdint.h"
+
 void timer_init();
+void timer_tick();
+uint64_t timer_get_ticks();