X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_lowlevel.h;h=f3c8db524babbc498b3e4dde09d43d32f4da5fc6;hp=8e85162fcf9a8f77e8425df7844c60b412af8b99;hb=ed2b3c62f54f46c31ed18a100bb442e1656a3ddd;hpb=5f9220bcb26dad22a49ae532a460df4c7e2a1001

diff --git a/palacios/include/palacios/vmm_lowlevel.h b/palacios/include/palacios/vmm_lowlevel.h
index 8e85162..f3c8db5 100644
--- a/palacios/include/palacios/vmm_lowlevel.h
+++ b/palacios/include/palacios/vmm_lowlevel.h
@@ -30,7 +30,7 @@ static void __inline__ v3_cpuid(uint32_t target,
 				uint32_t * ecx, uint32_t * edx) {
     __asm__ __volatile__ (
 			  "cpuid\n\t"
-			  : "=a" (*eax), "=S" (*ebx), "=c" (*ecx), "=d" (*edx)
+			  : "=a" (*eax), "=b" (*ebx), "=c" (*ecx), "=d" (*edx)
 			  : "0" (target), "2" (*ecx)
 			  );
     return;