Index: kernel/arch/arm32/include/barrier.h
===================================================================
--- kernel/arch/arm32/include/barrier.h	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
+++ kernel/arch/arm32/include/barrier.h	(revision e25eca8008c4df6f190fbd28a399c5e01406f863)
@@ -47,4 +47,6 @@
 #define write_barrier()         asm volatile ("" ::: "memory")
 
+#define smc_coherence(a)
+
 #endif