Userspace no longer includes the kernel's arch/*
[akaros.git] / kern / arch / i686 / atomic.h
index 9266ce3..14bfe65 100644 (file)
@@ -4,7 +4,6 @@
 #include <ros/common.h>
 #include <arch/x86.h>
 #include <arch/arch.h>
-#include <arch/membar.h>
 
 typedef void * RACY atomic_t;
 struct spinlock {