Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 0573650e543eeb9b2dc06e7333a62b1d68949e82)
+++ kernel/arch/arm32/src/exception.c	(revision af69a4ba72b68409f26d6a65f6f60ac426247b42)
@@ -88,6 +88,8 @@
 static void swi_exception(unsigned int exc_no, istate_t *istate)
 {
+	interrupts_enable();
 	istate->r0 = syscall_handler(istate->r0, istate->r1, istate->r2,
 	    istate->r3, istate->r4, istate->r5, istate->r6);
+	interrupts_disable();
 }