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

diff --git a/palacios/src/palacios/vmm_symbiotic.c b/palacios/src/palacios/vmm_symbiotic.c
index 3b41305..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->host_cpu_id] == V3_SVM_CPU) || 
-	(v3_cpu_types[core->host_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->host_cpu_id] == V3_VMX_CPU) || 
-	       (v3_cpu_types[core->host_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";
     }