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