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

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 87746ef..341996a 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -414,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;