Index: arch/ia32/include/atomic.h
===================================================================
--- arch/ia32/include/atomic.h	(revision 5dce48b968966f5377b2e8198cca8b66216db1bc)
+++ arch/ia32/include/atomic.h	(revision 73838ed8e5c99d4b785497a5fa7d0909fded4f9f)
@@ -32,5 +32,5 @@
 #include <arch/types.h>
 
-static inline void atomic_inc(volatile int *val) {
+static inline void atomic_inc(volatile count_t *val) {
 #ifdef __SMP__
 	__asm__ volatile ("lock incl (%0)\n" : : "r" (val));
@@ -40,5 +40,5 @@
 }
 
-static inline void atomic_dec(volatile int *val) {
+static inline void atomic_dec(volatile count_t *val) {
 #ifdef __SMP__
 	__asm__ volatile ("lock decl (%0)\n" : : "r" (val));