Index: generic/src/proc/scheduler.c
===================================================================
--- generic/src/proc/scheduler.c	(revision 2d93f1f9242c39f6e8a125f6fc3f2297727f4f04)
+++ generic/src/proc/scheduler.c	(revision 705b4149822f194ae48b3897b40aa114729244e1)
@@ -434,5 +434,5 @@
 
 	/*
-	 * Through the 'THE' structure, we keep track of THREAD, TASK, CPU
+	 * Through the 'THE' structure, we keep track of THREAD, TASK, CPU, VM
 	 * and preemption counter. At this point THE could be coming either
 	 * from THREAD's or CPU's stack.
Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision 2d93f1f9242c39f6e8a125f6fc3f2297727f4f04)
+++ generic/src/proc/thread.c	(revision 705b4149822f194ae48b3897b40aa114729244e1)
@@ -55,6 +55,6 @@
 char *thread_states[] = {"Invalid", "Running", "Sleeping", "Ready", "Entering", "Exiting"}; /**< Thread states */
 
-spinlock_t threads_lock;
-link_t threads_head;
+spinlock_t threads_lock;	/**< Lock protecting threads_head list. For locking rules, see declaration thereof. */
+link_t threads_head;		/**< List of all threads. */
 
 static spinlock_t tidlock;