Index: generic/include/synch/waitq.h
===================================================================
--- generic/include/synch/waitq.h	(revision a80d406916e5a73d25c5e97341203bb477734ef7)
+++ generic/include/synch/waitq.h	(revision 973be64e8e922f2fbbbb92f7f7cddc8125f9e36b)
@@ -39,6 +39,13 @@
 #define WAKEUP_ALL	1
 
+/** Wait queue structure. */
 struct waitq {
+
+	/** Lock protecting wait queue structure.
+	 *
+	 * Must be acquired before T.lock for each T of type thread_t.
+	 */
 	spinlock_t lock;
+
 	int missed_wakeups;	/**< Number of waitq_wakeup() calls that didn't find a thread to wake up. */
 	link_t head;		/**< List of sleeping threads for wich there was no missed_wakeup. */
@@ -52,6 +59,6 @@
 extern void waitq_initialize(waitq_t *wq);
 extern int waitq_sleep_timeout(waitq_t *wq, __u32 usec, int nonblocking);
-extern void waitq_wakeup(waitq_t *wq, int all);
-extern void _waitq_wakeup_unsafe(waitq_t *wq, int all);
+extern void waitq_wakeup(waitq_t *wq, bool all);
+extern void _waitq_wakeup_unsafe(waitq_t *wq, bool all);
 
 #endif