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