Index: kernel/generic/src/synch/smc.c
===================================================================
--- kernel/generic/src/synch/smc.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/generic/src/synch/smc.c	(revision 72df6137a2746e071c014a12889a0ff9d0eec586)
@@ -54,5 +54,5 @@
 	}
 
-	smc_coherence_block((void *) va, size);
+	smc_coherence((void *) va, size);
 	return 0;
 }