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