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