Index: arch/ia32/include/barrier.h
===================================================================
--- arch/ia32/include/barrier.h	(revision fb8445570d1fefbb43a7a176047eda449d09879d)
+++ arch/ia32/include/barrier.h	(revision 12fdd28585b2ba4f5b93eb59aac420a9be27d2de)
@@ -30,6 +30,4 @@
 #define __ia32_BARRIER_H__
 
-#include <arch/types.h>
-
 /*
  * NOTE:
@@ -61,5 +59,5 @@
 #		define write_barrier()	__asm__ volatile ("sfence\n" ::: "memory")
 #	else
-#		define write_barrier()
+#		define write_barrier()  __asm__ volatile( "" ::: "memory");
 #	endif
 #elif CONFIG_FENCES_P3
@@ -69,5 +67,5 @@
 #		define write_barrier()	__asm__ volatile ("sfence\n" ::: "memory")
 #	else
-#		define write_barrier()
+#		define write_barrier()  __asm__ volatile( "" ::: "memory");
 #	endif
 #else
@@ -77,5 +75,5 @@
 #		define write_barrier()	cpuid_serialization()
 #	else
-#		define write_barrier()
+#		define write_barrier()  __asm__ volatile( "" ::: "memory");
 #	endif
 #endif