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