Changes in kernel/generic/include/synch/waitq.h [a35b458:b59318e] in mainline

File:

• kernel/generic/include/synch/waitq.h (modified) (1 diff)

kernel/generic/include/synch/waitq.h

@@ -62 +62 @@
         int missed_wakeups;
 
+        /** Number of wakeups that need to be ignored due to futex timeout. */
+        int ignore_wakeups;
+
         /** List of sleeping threads for which there was no missed_wakeup. */
         list_t sleepers;