Index: kernel/arch/abs32le/include/arch/barrier.h
===================================================================
--- kernel/arch/abs32le/include/arch/barrier.h	(revision af9dd1ed6f5d79cc098da33ff7131162b1c177a4)
+++ kernel/arch/abs32le/include/arch/barrier.h	(revision 4b0206c7b08dfc91e29744cd62ce245f29ac2b62)
@@ -47,6 +47,10 @@
 #define write_barrier()
 
+#ifdef KERNEL
+
 #define smc_coherence(addr)
 #define smc_coherence_block(addr, size)
+
+#endif	/* KERNEL*/
 
 #endif