Index: kernel/arch/ppc32/include/arch/barrier.h
===================================================================
--- kernel/arch/ppc32/include/arch/barrier.h	(revision 5a42886138d4aab0bf370134954892eb9896554a)
+++ kernel/arch/ppc32/include/arch/barrier.h	(revision eff9f8c9bc6db84f8ca580131cbce18ccd92ffa2)
@@ -51,4 +51,6 @@
 	)
 
+#ifdef KERNEL
+
 #define COHERENCE_INVAL_MIN  4
 
@@ -93,4 +95,6 @@
 }
 
+#endif	/* KERNEL */
+
 #endif
 
