Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision e16e036a378fc32c389e8e9d78aabfc0682401f2)
+++ generic/include/proc/scheduler.h	(revision 35667f8c04b6c9353bcd663e7b47a2b0fad66457)
@@ -33,4 +33,5 @@
 #include <time/clock.h>		/* HZ */
 #include <typedefs.h>
+#include <arch/atomic.h>
 #include <list.h>
 
@@ -44,5 +45,5 @@
 };
 
-extern volatile count_t nrdy;
+extern atomic_t nrdy;
 extern void scheduler_init(void);