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