Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 6765c075aac1138738c6ee1670710f4cdbe185e7)
+++ kernel/arch/arm32/src/exception.c	(revision e0bc7fccf48d7dd22900a4d0cf37421c390e5f62)
@@ -215,5 +215,6 @@
 	 * where handler's address is stored
 	*/
-	volatile uint32_t handler_address_ptr = EXC_VECTORS_SIZE - PREFETCH_OFFSET;
+	volatile uint32_t handler_address_ptr = EXC_VECTORS_SIZE -
+	    PREFETCH_OFFSET;
 	
 	/* make it LDR instruction and store at exception vector */
@@ -287,11 +288,6 @@
 static void swi_exception(int exc_no, istate_t *istate)
 {
-	/*
-	dprintf("SYSCALL: r0-r4: %x, %x, %x, %x, %x; pc: %x\n", istate->r0, 
-		istate->r1, istate->r2, istate->r3, istate->r4, istate->pc);
-	*/
-
 	istate->r0 = syscall_handler(istate->r0, istate->r1, istate->r2,
-	    istate->r3, istate->r4);
+	    istate->r3, istate->r4, istate->r5, istate->r6);
 }