Changes in kernel/generic/src/main/uinit.c [8688a6e:9a61ba5] in mainline

File:

• kernel/generic/src/main/uinit.c (modified) (1 diff)

kernel/generic/src/main/uinit.c

@@ -81 +81 @@
         free((uspace_arg_t *) arg);
         
+        /*
+         * Disable interrupts so that the execution of userspace() is not
+         * disturbed by any interrupts as some of the userspace()
+         * implementations will switch to the userspace stack before switching
+         * the mode.
+         */
+        (void) interrupts_disable();
         userspace(&uarg);
 }