Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 59e07c91fccb189beb5623b72a240b638917ebb2)
+++ generic/include/proc/scheduler.h	(revision 93354b06a6ce7c3756530b3c914f438dcc6c091e)
@@ -39,8 +39,9 @@
 #define NEEDS_RELINK_MAX	(HZ)
 
+/** Scheduler run queue structure. */
 struct runq {
 	spinlock_t lock;
 	link_t rq_head;		/**< List of ready threads. */
-	int n;			/**< Number of threads in rq_ready. */
+	count_t n;		/**< Number of threads in rq_ready. */
 };
 
@@ -52,9 +53,10 @@
 extern void kcpulb(void *arg);
 
+extern void before_thread_runs(void);
+
 /*
  * To be defined by architectures:
  */
  
-extern void before_thread_runs(void);
 extern void before_thread_runs_arch(void);