Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision bc18d63b733703c3262a3a720f92513621962cff)
+++ kernel/generic/include/proc/scheduler.h	(revision 3bf907ab10516755767898b1ff0d5485f3c73729)
@@ -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;