X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=1ef5bdefd35e66cbe25cf36a4b37fa4fd7d8fb68;hb=94c7ee057b065f64a3e2faa3df3150f72c99260b;hp=7e08dd9ce9e30f4cab24d04077eaf4c09886b176;hpb=fe2922a2862b1a4f1fb340ab4649f831ac17719c;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 7e08dd9..1ef5bde 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -72,17 +72,17 @@ static void deinit_cpu(void * arg) {
 
 
     switch (v3_cpu_types[cpu_id]) {
- #ifdef CONFIG_SVM
-	case V3_VMX_CPU:
-	case V3_VMX_EPT_CPU:
-	    PrintDebug("Machine is SVM Capable\n");
+#ifdef CONFIG_SVM
+	case V3_SVM_CPU:
+	case V3_SVM_REV3_CPU:
+	    PrintDebug("Deinitializing SVM CPU %d\n", cpu_id);
 	    v3_deinit_svm_cpu(cpu_id);
 	    break;
 #endif
 #ifdef CONFIG_VMX
-	case V3_SVM_CPU:
-	case V3_SVM_REV3_CPU:
-	    PrintDebug("Machine is VMX Capable\n");
+	case V3_VMX_CPU:
+	case V3_VMX_EPT_CPU:
+	    PrintDebug("Deinitializing VMX CPU %d\n", cpu_id);
 	    v3_deinit_vmx_cpu(cpu_id);
 	    break;
 #endif
@@ -290,18 +290,19 @@ int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask) {
 
 	    i--; // We reset the logical core idx. Not strictly necessary I guess... 
 	} else {
+
+	    /* This assumes that the core 0 thread has been mapped to physical core 0 */
+	    if (i == V3_Get_CPU()) {
+		// We skip the local CPU because it is reserved for vcore 0
+		continue;
+	    }
+	    
 	    core_idx = i;
 	}
 
 	major = core_idx / 8;
 	minor = core_idx % 8;
 
-	/* This assumes that the core 0 thread has been mapped to physical core 0 */
-	if (core_idx == V3_Get_CPU()) {
-	    // We skip the local CPU because it is reserved for vcore 0
-	    continue;
-	}
-
 
 	if ((core_mask[major] & (0x1 << minor)) == 0) {
 	    PrintError("Logical CPU %d not available for virtual core %d; not started\n",
@@ -373,8 +374,6 @@ int v3_stop_vm(struct v3_vm_info * vm) {
  	    break;
 	}
 
- 	V3_Print("Yielding\n");
-
 	v3_yield(NULL);
     }