Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision 73838ed8e5c99d4b785497a5fa7d0909fded4f9f)
+++ src/proc/scheduler.c	(revision 36b209a59f199b774cab2328b7ac54413c29775a)
@@ -150,5 +150,5 @@
 		spinlock_unlock(&CPU->lock);
 
-		atomic_dec(&nrdy);
+		atomic_dec((int *) &nrdy);
 		r->n--;
 
Index: src/proc/thread.c
===================================================================
--- src/proc/thread.c	(revision 73838ed8e5c99d4b785497a5fa7d0909fded4f9f)
+++ src/proc/thread.c	(revision 36b209a59f199b774cab2328b7ac54413c29775a)
@@ -137,5 +137,5 @@
 	spinlock_unlock(&r->lock);
 
-	atomic_inc(&nrdy);
+	atomic_inc((int *) &nrdy);
 	avg = nrdy / config.cpu_active;