Index: include/proc/scheduler.h
===================================================================
--- include/proc/scheduler.h	(revision b52da8d7b8d152a08bbcc4e21a25383ba0367730)
+++ include/proc/scheduler.h	(revision 437e35a0ec3132b5c6687d2aaa994c9208be9aa9)
@@ -44,5 +44,5 @@
 };
 
-extern volatile int nrdy;
+extern volatile count_t nrdy;
 
 static thread_t *find_best_thread(void);