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