Kernel/Time: Improve time keeping

This makes use of TSC and now provides a file system interface for
userland programs to change the system time.

1 files changed, 4 insertions, 2 deletions

diff --git a/kernel/arch/i386/tsc.h b/kernel/arch/i386/tsc.h
index 2e29cf3..1a9e317 100644
--- a/kernel/arch/i386/tsc.h
+++ b/kernel/arch/i386/tsc.h
@@ -1,4 +1,6 @@
 #include <typedefs.h>
 
-u64 get_tsc();
-u64 get_hz();
+void tsc_init(void);
+u64 tsc_get(void);
+u64 tsc_get_mhz(void);
+u64 tsc_calculate_ms(u64 tsc);