Index: kernel/arch/ia32/include/barrier.h
===================================================================
--- kernel/arch/ia32/include/barrier.h	(revision d5087aa3fad89debb05d267f38ebb78362b1e3d2)
+++ kernel/arch/ia32/include/barrier.h	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
@@ -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()