Changes in kernel/generic/src/synch/futex.c [759ea0d:496232e] in mainline

File:

• kernel/generic/src/synch/futex.c (modified) (1 diff)

kernel/generic/src/synch/futex.c

@@ -400 +400 @@
                 return (sysarg_t) ENOENT;
 
+#ifdef CONFIG_UDEBUG
+        udebug_stoppable_begin();
+#endif
+
         int rc = waitq_sleep_timeout(&futex->wq, 0, SYNCH_FLAGS_INTERRUPTIBLE); 
+
+#ifdef CONFIG_UDEBUG
+        udebug_stoppable_end();
+#endif
 
         return (sysarg_t) rc;