Kmsg debug routine
[akaros.git] / kern / arch / sparc / fpu.c
index b2267c3..4314e72 100644 (file)
@@ -3,6 +3,7 @@
 #include <arch/trap.h>
 #include <umem.h>
 #include <pmap.h>
+#include <smp.h>
 
 static inline uint32_t* effective_address(trapframe_t* state, uint32_t insn)
 {