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