Changes in kernel/generic/include/synch/waitq.h [d99c1d2:b7398c0] in mainline

File:

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

kernel/generic/include/synch/waitq.h

@@ -46 +46 @@
 } wakeup_mode_t;
 
-/** Wait queue structure. */
+/** Wait queue structure.
+ *
+ */
 typedef struct {
-
         /** Lock protecting wait queue structure.
          *
          * Must be acquired before T.lock for each T of type thread_t.
          */
-        SPINLOCK_DECLARE(lock);
-
+        IRQ_SPINLOCK_DECLARE(lock);
+        
         /**
          * Number of waitq_wakeup() calls that didn't find a thread to wake up.
+         *
          */
         int missed_wakeups;
+        
         /** List of sleeping threads for wich there was no missed_wakeup. */
         link_t head;
@@ -69 +72 @@
 
 extern void waitq_initialize(waitq_t *);
-extern int waitq_sleep_timeout(waitq_t *, uint32_t, int);
+extern int waitq_sleep_timeout(waitq_t *, uint32_t, unsigned int);
 extern ipl_t waitq_sleep_prepare(waitq_t *);
-extern int waitq_sleep_timeout_unsafe(waitq_t *, uint32_t, int);
+extern int waitq_sleep_timeout_unsafe(waitq_t *, uint32_t, unsigned int);
 extern void waitq_sleep_finish(waitq_t *, int, ipl_t);
 extern void waitq_wakeup(waitq_t *, wakeup_mode_t);
@@ -77 +80 @@
 extern void waitq_interrupt_sleep(struct thread *);
 extern void waitq_unsleep(waitq_t *);
+extern int waitq_count_get(waitq_t *);
+extern void waitq_count_set(waitq_t *, int val);
 
 #endif