Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 0573650e543eeb9b2dc06e7333a62b1d68949e82)
+++ kernel/arch/arm32/src/exception.c	(revision 0b49d4e8fd3d9501fbccd197d8c91796bef7838b)
@@ -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();
 }