Index: generic/include/synch/futex.h
===================================================================
--- generic/include/synch/futex.h	(revision 303c94cdd8202c405e0544a6b985691b33904b12)
+++ generic/include/synch/futex.h	(revision 2a1fa51536bfc1c1cff6d27d507dc0e67b239201)
@@ -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. */
 };