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