Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision bc18d63b733703c3262a3a720f92513621962cff)
+++ kernel/generic/include/proc/scheduler.h	(revision d9c8c81f21850cb9e08890ce3919e1d8e253e810)
@@ -48,5 +48,5 @@
 	SPINLOCK_DECLARE(lock);
 	link_t rq_head;		/**< List of ready threads. */
-	count_t n;		/**< Number of threads in rq_ready. */
+	size_t n;		/**< Number of threads in rq_ready. */
 } runq_t;
 
