Index: kernel/arch/ia32/include/barrier.h
===================================================================
--- kernel/arch/ia32/include/barrier.h	(revision e25eca8008c4df6f190fbd28a399c5e01406f863)
+++ kernel/arch/ia32/include/barrier.h	(revision 37596817bd25b85f6b01ed4b67b6a8ebdfccbdc1)
@@ -92,4 +92,5 @@
  */
 #define smc_coherence(a)		write_barrier()
+#define smc_coherence_block(a, l)	write_barrier()
 
 #endif