Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 62cd66fd071922cb87171eb7cbad1f5246149f7e)
+++ kernel/generic/src/mm/backend_elf.c	(revision 3527a93ddaba512a7a449377162634a7452e04a0)
@@ -154,5 +154,6 @@
 			    (void *) (base + i * FRAME_SIZE), FRAME_SIZE);
 			if (entry->p_flags & PF_X) {
-				smc_coherence_block(PA2KA(frame), FRAME_SIZE);
+				smc_coherence_block((void *) PA2KA(frame),
+				    FRAME_SIZE);
 			}
 			dirty = true;
@@ -194,6 +195,6 @@
 		    FRAME_SIZE - pad_lo - pad_hi);
 		if (entry->p_flags & PF_X) {
-			smc_coherence_block(PA2KA(frame) + pad_lo, FRAME_SIZE -
-			    pad_lo - pad_hi);
+			smc_coherence_block((void *) (PA2KA(frame) + pad_lo), 
+			    FRAME_SIZE - pad_lo - pad_hi);
 		}
 		memsetb((void *) PA2KA(frame), pad_lo, 0);