Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision a03b6090c276837d109f6591138b561bc5714cd5)
+++ kernel/arch/arm32/src/exception.c	(revision 2b55edb3c9ee72f1dbe4878d2663fac0493c75a9)
@@ -74,5 +74,5 @@
 	/* make it LDR instruction and store at exception vector */
 	*vector = handler_address_ptr | LDR_OPCODE;
-	smc_coherence(*vector);
+	smc_coherence(vector);
 	
 	/* store handler's address */