Make errno and return value work for async syscalls.
[akaros.git] / kern / src / elf.c
index a48d3cc..82cbe25 100644 (file)
@@ -6,6 +6,7 @@
 #include <syscall.h>
 #include <elf.h>
 #include <pmap.h>
+#include <smp.h>
 
 typedef struct
 {