Index: arch/amd64/include/atomic.h
===================================================================
--- arch/amd64/include/atomic.h	(revision 649d96b3f69cac6a2c1a1f19408e8813272ecb99)
+++ arch/amd64/include/atomic.h	(revision bc1089a990e7d6d859d96cf4f71e6bc8e2a039ad)
@@ -31,6 +31,5 @@
 
 
-/* Count_t is 32-bits on AMD-64 */
-static inline void atomic_inc(volatile count_t *val) {
+static inline void atomic_inc(volatile int *val) {
 #ifdef __SMP__
 	__asm__ volatile ("lock incl (%0)\n" : : "r" (val));
@@ -40,5 +39,5 @@
 }
 
-static inline void atomic_dec(volatile count_t *val) {
+static inline void atomic_dec(volatile int *val) {
 #ifdef __SMP__
 	__asm__ volatile ("lock decl (%0)\n" : : "r" (val));
Index: arch/ia32/include/atomic.h
===================================================================
--- arch/ia32/include/atomic.h	(revision 649d96b3f69cac6a2c1a1f19408e8813272ecb99)
+++ arch/ia32/include/atomic.h	(revision bc1089a990e7d6d859d96cf4f71e6bc8e2a039ad)
@@ -32,5 +32,5 @@
 #include <arch/types.h>
 
-static inline void atomic_inc(volatile count_t *val) {
+static inline void atomic_inc(volatile int *val) {
 #ifdef __SMP__
 	__asm__ volatile ("lock incl (%0)\n" : : "r" (val));
@@ -40,5 +40,5 @@
 }
 
-static inline void atomic_dec(volatile count_t *val) {
+static inline void atomic_dec(volatile int *val) {
 #ifdef __SMP__
 	__asm__ volatile ("lock decl (%0)\n" : : "r" (val));
Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision 649d96b3f69cac6a2c1a1f19408e8813272ecb99)
+++ src/proc/scheduler.c	(revision bc1089a990e7d6d859d96cf4f71e6bc8e2a039ad)
@@ -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 649d96b3f69cac6a2c1a1f19408e8813272ecb99)
+++ src/proc/thread.c	(revision bc1089a990e7d6d859d96cf4f71e6bc8e2a039ad)
@@ -137,5 +137,5 @@
 	spinlock_unlock(&r->lock);
 
-	atomic_inc(&nrdy);
+	atomic_inc((int *) &nrdy);
 	avg = nrdy / config.cpu_active;