Not working.... A lot more to go

x64/src/c/kernel/inc/k_intr.h

@@ -1,6 +1,7 @@
 #ifndef _K_INTR_H_
 #define _K_INTR_H_
 #include "k_type.h"
+
 typedef uint64_t irql_t;
 
 #define IRQL_DPC 1
@@ -8,4 +9,6 @@ typedef uint64_t irql_t;
 #define IRQL_KERNEL 3
 #define IRQL_USER 4
 
+
+
 #endif

x64/src/c/kernel/k_intr.c

@@ -0,0 +1,17 @@
+#include "k_intr.h"
+#include "k_hal.h"
+
+void k_set_interrupt_handler(uint64_t index, void (*handler)(void))
+{
+    hal_set_interrupt_handler(index, handler);
+}
+
+void k_disable_interrupt()
+{
+
+}
+
+void k_enable_interrupt()
+{
+    
+}