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