diff --git a/src/sys/sys/device.c b/src/sys/sys/device.c
index 97deebe..054e569 100644
--- a/src/sys/sys/device.c
+++ b/src/sys/sys/device.c
@@ -30,6 +30,7 @@
 #include <sys/device.h>
 #include <ubixos/spinlock.h>
 #include <lib/kmalloc.h>
+#include <lib/kprintf.h>
 #include <assert.h>
 
 /* Linked list of drivers loaded in the system accessable by the subsystem only */
diff --git a/src/sys/sys/idt.c b/src/sys/sys/idt.c
index be10250..1d06fe7 100644
--- a/src/sys/sys/idt.c
+++ b/src/sys/sys/idt.c
@@ -420,7 +420,8 @@
   while (1);
   }
 
-static void mathStateRestore() {
+/* Removed static however this is the only place it's called from */
+void mathStateRestore() {
   if (_usedMath != 0x0) {
     asm(
       "fnsave %0"