Index: kernel/arch/ia32/include/barrier.h
===================================================================
--- kernel/arch/ia32/include/barrier.h	(revision ee06f2a049baaea0e4c9fc693e7c3c34f3105202)
+++ kernel/arch/ia32/include/barrier.h	(revision fa094491c49be2130cd1f5bbad081181cbad82b1)
@@ -59,5 +59,5 @@
 }
 
-#ifdef CONFIG_FENCES_P4
+#if defined(CONFIG_FENCES_P4)
 #	define memory_barrier()		asm volatile ("mfence\n" ::: "memory")
 #	define read_barrier()		asm volatile ("lfence\n" ::: "memory")
@@ -67,5 +67,5 @@
 #		define write_barrier()  asm volatile( "" ::: "memory");
 #	endif
-#elif CONFIG_FENCES_P3
+#elif defined(CONFIG_FENCES_P3)
 #	define memory_barrier()		cpuid_serialization()
 #	define read_barrier()		cpuid_serialization()