Index: arch/ia32/include/atomic.h
===================================================================
--- arch/ia32/include/atomic.h	(revision 73838ed8e5c99d4b785497a5fa7d0909fded4f9f)
+++ arch/ia32/include/atomic.h	(revision 89344d856a4700e9b4c9db22b56fee07c4092e0e)
@@ -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));