Index: kernel/arch/ia32/include/arch/barrier.h
===================================================================
--- kernel/arch/ia32/include/arch/barrier.h	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/arch/ia32/include/arch/barrier.h	(revision cca80a20e6e2bf961374aa1b1f10e61420a705de)
@@ -106,6 +106,5 @@
  * sufficient for them to drain to the D-cache).
  */
-#define smc_coherence(a)           write_barrier()
-#define smc_coherence_block(a, l)  write_barrier()
+#define smc_coherence(a, l)  write_barrier()
 
 #endif	/* KERNEL */