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