Index: kernel/arch/ia32/include/cpuid.h
===================================================================
--- kernel/arch/ia32/include/cpuid.h	(revision f169b7b92a2c20ad90fe7889d2defb67151199f5)
+++ kernel/arch/ia32/include/cpuid.h	(revision b8f11baa46965e8fdd2b64a92dc659e89c8b5243)
@@ -50,10 +50,8 @@
 } __attribute__ ((packed));
 
-typedef union cpuid_extended_feature_info 
-{
+typedef union cpuid_extended_feature_info {
 	struct __cpuid_extended_feature_info bits;
-	uint32_t                                word;
-}cpuid_extended_feature_info;
-
+	uint32_t word;
+} cpuid_extended_feature_info;
 
 struct __cpuid_feature_info {
@@ -66,9 +64,8 @@
 } __attribute__ ((packed));
 
-typedef union cpuid_feature_info 
-{
+typedef union cpuid_feature_info {
 	struct __cpuid_feature_info bits;
-	uint32_t                word       ;
-}cpuid_feature_info;
+	uint32_t word;
+} cpuid_feature_info;
 
 
@@ -101,8 +98,7 @@
 {
 	asm volatile (
-		"movl %4, %%eax\n"
 		"cpuid\n"
 		: "=a" (info->cpuid_eax), "=b" (info->cpuid_ebx), "=c" (info->cpuid_ecx), "=d" (info->cpuid_edx)
-		: "m" (cmd)
+		: "a" (cmd)
 	);
 }