Syscall to get timer value

1 files changed, 13 insertions, 0 deletions

diff --git a/src/cpu/irq.c b/src/cpu/irq.c
index 24a809c..612b6d8 100644
--- a/src/cpu/irq.c
+++ b/src/cpu/irq.c
@@ -11,6 +11,7 @@
 #include <util/status.h>
 #include <util/time.h>
 
+void utime(void);
 void testfxn(void);
 void handle_data(unsigned char);
 
@@ -109,6 +110,8 @@ void handle_data(unsigned char data)
 		add_thread(uart_scheduler, 0, 2);
 	} else if (data == 0x63) {
 		add_thread(heap_info, 0, 2);
+	} else if (data == 0x64) {
+		add_thread(utime, 0, 2);
 	} else {
 	}
 	g_Drawer.x = 0;
@@ -120,6 +123,16 @@ void handle_data(unsigned char data)
 	write_string(&g_Drawer, "> ");
 }
 
+void utime(void)
+{
+	unsigned long thi, tlo;
+	unsigned long long t = get_sys_time();
+	thi = t >> 32;
+	tlo = t;
+	uart_hex(thi);
+	uart_hexn(tlo);
+}
+
 void testfxn2(void)
 {
 	uart_string("Ran testfxn2\n");