Serialize multiline printks
[akaros.git] / kern / include / atomic.h
index e5d1d2d..d7682c7 100644 (file)
@@ -15,6 +15,7 @@
 
 #include <ros/common.h>
 #include <ros/atomic.h>
+#include <arch/membar.h>
 #include <arch/mmu.h>
 #include <arch/arch.h>
 #include <assert.h>