Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 1314e3bcb45f4d382dc343b61905c7860d722189)
+++ kernel/arch/arm32/src/exception.c	(revision 7e956eb53e39a5b6b5da0e92b2e789a596d7fc45)
@@ -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);
 }