Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision 5a5269df4bb8693ab8e38af0622b7fa6365b9535)
+++ kernel/generic/include/proc/scheduler.h	(revision b4edc96c3455b41ece7d35a9752221342dec22f8)
@@ -52,5 +52,5 @@
 } runq_t;
 
-extern atomic_t nrdy;
+extern atomic_size_t nrdy;
 extern void scheduler_init(void);
 
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 5a5269df4bb8693ab8e38af0622b7fa6365b9535)
+++ kernel/generic/include/proc/task.h	(revision b4edc96c3455b41ece7d35a9752221342dec22f8)
@@ -87,7 +87,7 @@
 
 	/** Number of references (i.e. threads). */
-	atomic_t refcount;
+	atomic_size_t refcount;
 	/** Number of threads that haven't exited yet. */
-	atomic_t lifecount;
+	atomic_size_t lifecount;
 
 	/** Task permissions. */