Changes in kernel/generic/include/synch/waitq.h [b7398c0:d99c1d2] 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.
          */
-        IRQ_SPINLOCK_DECLARE(lock);
-        
+        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;
@@ -72 +69 @@
 
 extern void waitq_initialize(waitq_t *);
-extern int waitq_sleep_timeout(waitq_t *, uint32_t, unsigned int);
+extern int waitq_sleep_timeout(waitq_t *, uint32_t, int);
 extern ipl_t waitq_sleep_prepare(waitq_t *);
-extern int waitq_sleep_timeout_unsafe(waitq_t *, uint32_t, unsigned int);
+extern int waitq_sleep_timeout_unsafe(waitq_t *, uint32_t, int);
 extern void waitq_sleep_finish(waitq_t *, int, ipl_t);
 extern void waitq_wakeup(waitq_t *, wakeup_mode_t);
@@ -80 +77 @@
 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