1 files changed, 25 insertions, 0 deletions
diff --git a/kernel/include/util/time.h b/kernel/include/util/time.h
new file mode 100644
index 0000000..fe3df18
--- /dev/null
+++ b/kernel/include/util/time.h
@@ -0,0 +1,25 @@
+#pragma once
+
+#include "types.h"
+#include "util/debug.h"
+
+extern uint64_t timer_tickcount;
+extern uint64_t kernel_preempted_count;
+extern uint64_t user_preempted_count;
+extern uint64_t not_preempted_count;
+extern uint64_t idle_count;
+extern volatile uint64_t jiffies;
+
+void time_init();
+
+void time_spin(time_t ms);
+
+void time_sleep(time_t ms);
+
+long do_usleep(useconds_t usec);
+
+time_t core_uptime();
+
+time_t do_time();
+
+size_t time_stats(char *buf, size_t len);