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

File:

• kernel/generic/include/synch/waitq.h (modified) (2 diffs)

kernel/generic/include/synch/waitq.h

@@ -55 +55 @@
          */
         IRQ_SPINLOCK_DECLARE(lock);
-
+        
         /**
          * Number of waitq_wakeup() calls that didn't find a thread to wake up.
@@ -61 +61 @@
          */
         int missed_wakeups;
-
+        
         /** List of sleeping threads for which there was no missed_wakeup. */
         list_t sleepers;