X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=341996a984ac834f96e40eed84e12ac185278249;hb=0b342d28c860e4b3911b529f5363d35faa86aa25;hp=ca12fc79db9e712e3fdac68e9271c3d2aff45bb2;hpb=b1128b2a9d269fefc786c60c26878b372d5e39c1;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index ca12fc7..341996a 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -387,6 +387,20 @@ int v3_move_vm_core(struct v3_vm_info * vm, int vcore_id, int target_cpu) {
 
 	V3_Print("Moving Core\n");
 
+
+#ifdef V3_CONFIG_VMX
+	switch (v3_cpu_types[core->pcpu_id]) {
+	    case V3_VMX_CPU:
+	    case V3_VMX_EPT_CPU:
+	    case V3_VMX_EPT_UG_CPU:
+		PrintDebug("Flushing VMX Guest CPU %d\n", core->vcpu_id);
+		V3_Call_On_CPU(core->pcpu_id, (void (*)(void *))v3_flush_vmx_vm_core, (void *)core);
+		break;
+	    default:
+		break;
+	}
+#endif
+
 	if (V3_MOVE_THREAD_TO_CPU(target_cpu, core->core_thread) != 0) {
 	    PrintError("Failed to move Vcore %d to CPU %d\n", 
 		       core->vcpu_id, target_cpu);
@@ -400,13 +414,9 @@ int v3_move_vm_core(struct v3_vm_info * vm, int vcore_id, int target_cpu) {
 	*/
 	core->pcpu_id = target_cpu;
 
-	V3_Print("core now at %d\n", core->pcpu_id);
-	
+	V3_Print("core now at %d\n", core->pcpu_id);	
     }
 
-
-
-
     v3_lower_barrier(vm);
 
     return 0;