Index: kernel/arch/arm32/include/barrier.h
===================================================================
--- kernel/arch/arm32/include/barrier.h	(revision e25eca8008c4df6f190fbd28a399c5e01406f863)
+++ kernel/arch/arm32/include/barrier.h	(revision c7511ec038f5b93f56189cc5b993c090dcc849f4)
@@ -48,4 +48,5 @@
 
 #define smc_coherence(a)
+#define smc_coherence_block(a, l)
 
 #endif