Index: generic/src/synch/futex.c
===================================================================
--- generic/src/synch/futex.c	(revision a9ef68bfb5a4d2d85ccd7edf79d3fcc2f7c9d108)
+++ generic/src/synch/futex.c	(revision f3ac6360053576f070c57d84c51335e1bed6f4e0)
@@ -94,5 +94,5 @@
  * @param uaddr Userspace address of the futex counter.
  * @param usec If non-zero, number of microseconds this thread is willing to sleep.
- * @param trydown If usec is zero and trydown is non-zero, conditional operation will be attempted.
+ * @param trydown If @usec is zero and trydown is non-zero, conditional operation will be attempted.
  *
  * @return One of ESYNCH_TIMEOUT, ESYNCH_OK_ATOMIC and ESYNCH_OK_BLOCKED. See synch.h.
@@ -219,18 +219,18 @@
 /** Compute hash index into futex hash table.
  *
+ * @param key Address where the @key (i.e. physical address of futex counter) is stored.
+ *
+ * @return Index into futex hash table.
+ */
+index_t futex_ht_hash(__native *key)
+{
+	return *key & (FUTEX_HT_SIZE-1);
+}
+
+/** Compare futex hash table item with a key.
+ *
  * @param key Address where the key (i.e. physical address of futex counter) is stored.
  *
- * @return Index into futex hash table.
- */
-index_t futex_ht_hash(__native *key)
-{
-	return *key & (FUTEX_HT_SIZE-1);
-}
-
-/** Compare futex hash table item with a key.
- *
- * @param key Address where the key (i.e. physical address of futex counter) is stored.
- *
- * @return True if the item matches the key. False otherwise.
+ * @return True if the item matches the @key. False otherwise.
  */
 bool futex_ht_compare(__native *key, count_t keys, link_t *item)