Index: kernel/arch/ia32/include/atomic.h
===================================================================
--- kernel/arch/ia32/include/atomic.h	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
+++ kernel/arch/ia32/include/atomic.h	(revision 656b789da2d7f7f9eb0de7c8dc55ec4fba5a0f9d)
@@ -63,5 +63,5 @@
 	asm volatile (
 		"decl %[count]\n"
-		: "+m" (val->count)
+		: [count] "+m" (val->count)
 	);
 #endif /* CONFIG_SMP */