Make errno and return value work for async syscalls.
[akaros.git] / kern / src / syscall.c
index 1b934a2..934b354 100644 (file)
@@ -31,6 +31,7 @@
 #include <hashtable.h>
 #include <arch/bitmask.h>
 #include <kfs.h> // eventually replace this with vfs.h
+#include <smp.h>
 #include <arsc_server.h>