Index: kernel/arch/mips32/include/arch/barrier.h
===================================================================
--- kernel/arch/mips32/include/arch/barrier.h	(revision 07c913b7957f3c0dc58289db4a7542e11eb4ffd4)
+++ kernel/arch/mips32/include/arch/barrier.h	(revision fa9f8ade9ce2cef8a6142a4f2b436969080b8743)
@@ -46,6 +46,10 @@
 #define write_barrier()  asm volatile ("" ::: "memory")
 
+#ifdef KERNEL
+
 #define smc_coherence(a)
 #define smc_coherence_block(a, l)
+
+#endif	/* KERNEL */
 
 #endif