X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_symbiotic.c;h=32ef348bbff22d3a1a47fe6c88763ca1660f5d54;hb=fdb16aa5e99a19a91264ae84beaf77d3036548d5;hp=7d9ea4c1ab2a6ccf8ae0f02e438af385d72c87e8;hpb=e3cd4f1c180c7a59177c7108c495a2e27af9db10;p=palacios.git

diff --git a/palacios/src/palacios/vmm_symbiotic.c b/palacios/src/palacios/vmm_symbiotic.c
index 7d9ea4c..32ef348 100644
--- a/palacios/src/palacios/vmm_symbiotic.c
+++ b/palacios/src/palacios/vmm_symbiotic.c
@@ -32,11 +32,11 @@ static int cpuid_fn(struct guest_info * core, uint32_t cpuid,
 
     *eax = *(uint32_t *)"V3V";
 
-    if ((v3_cpu_types[core->cpu_id] == V3_SVM_CPU) || 
-	(v3_cpu_types[core->cpu_id] == V3_SVM_REV3_CPU)) {
+    if ((v3_cpu_types[0] == V3_SVM_CPU) || 
+	(v3_cpu_types[0] == V3_SVM_REV3_CPU)) {
 	*ebx = *(uint32_t *)"SVM";
-    } else if ((v3_cpu_types[core->cpu_id] == V3_VMX_CPU) || 
-	       (v3_cpu_types[core->cpu_id] == V3_VMX_EPT_CPU)) {
+    } else if ((v3_cpu_types[0] == V3_VMX_CPU) || 
+	       (v3_cpu_types[0] == V3_VMX_EPT_CPU)) {
 	*ebx = *(uint32_t *)"VMX";
     }