diff --git a/common_x86_64.h b/common_x86_64.h
index 9db66b5450..c05998d580 100644
--- a/common_x86_64.h
+++ b/common_x86_64.h
@@ -129,7 +129,7 @@ static __inline void cpuid(int op, int *eax, int *ebx, int *ecx, int *edx){
   *ecx=cpuinfo[2];
   *edx=cpuinfo[3];
 #else
-        __asm__ __volatile__("mov %%ecx, 0;"
+        __asm__ __volatile__("mov $0, %%ecx;"
 			     "cpuid"
 			     : "=a" (*eax),
 			     "=b" (*ebx),