Index: generic/include/synch/futex.h
===================================================================
--- generic/include/synch/futex.h	(revision 303c94cdd8202c405e0544a6b985691b33904b12)
+++ generic/include/synch/futex.h	(revision a9ef68bfb5a4d2d85ccd7edf79d3fcc2f7c9d108)
@@ -38,7 +38,7 @@
 /** Kernel-side futex structure. */
 struct futex {
-	__address paddr;	/** Physical address of the status variable. */
-	waitq_t wq;		/** Wait queue for threads waiting for futex availability. */
-	link_t ht_link;		/** Futex hash table link. */
+	__address paddr;	/**< Physical address of the status variable. */
+	waitq_t wq;		/**< Wait queue for threads waiting for futex availability. */
+	link_t ht_link;		/**< Futex hash table link. */
 };