Index: generic/src/proc/task.c
===================================================================
--- generic/src/proc/task.c	(revision 9b6aae6df3dca26496d6ac75535ffe1230e715c1)
+++ generic/src/proc/task.c	(revision 4bc141c9f96719845a1c5bed96e1e4cb39ba25b4)
@@ -56,6 +56,17 @@
 #endif
 
+/** Spinlock protecting the tasks_btree B+tree. */
 SPINLOCK_INITIALIZE(tasks_lock);
+
+/** B+tree of active tasks.
+ *
+ * The task is guaranteed to exist after it was found in the tasks_btree as long as:
+ * @li the tasks_lock is held,
+ * @li the task's lock is held when task's lock is acquired before releasing tasks_lock or
+ * @li the task's refcount is grater than 0
+ *
+ */
 btree_t tasks_btree;
+
 static task_id_t task_counter = 0;
 
@@ -239,9 +250,4 @@
  * The tasks_lock must be already held by the caller of this function
  * and interrupts must be disabled.
- *
- * The task is guaranteed to exist after it was found in the tasks_btree as long as:
- * @li the tasks_lock is held,
- * @li the task's lock is held when task's lock is acquired before releasing tasks_lock or
- * @li the task's refcount is grater than 0
  *
  * @param id Task ID.
Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision 9b6aae6df3dca26496d6ac75535ffe1230e715c1)
+++ generic/src/proc/thread.c	(revision 4bc141c9f96719845a1c5bed96e1e4cb39ba25b4)
@@ -76,7 +76,13 @@
 }; 
 
-/** Lock protecting threads_head list. For locking rules, see declaration thereof. */
+/** Lock protecting the threads_btree B+tree. For locking rules, see declaration thereof. */
 SPINLOCK_INITIALIZE(threads_lock);
-btree_t threads_btree;			/**< B+tree of all threads. */
+
+/** B+tree of all threads.
+ *
+ * When a thread is found in the threads_btree B+tree, it is guaranteed to exist as long
+ * as the threads_lock is held.
+ */
+btree_t threads_btree;		
 
 SPINLOCK_INITIALIZE(tidlock);
@@ -553,7 +559,4 @@
  * interrupts must be already disabled.
  *
- * When a thread is found in threads_btree, it is guaranteed to exist as long
- * as the threads_lock is held.
- *
  * @param t Pointer to thread.
  *