X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_cpu_mapper.c;h=88256dd435b6aa060c4fbd5545a192f7eeb97e22;hb=210c49c1f9b523ff94fd5b6791961d242d5bbae4;hp=449e2e763c3a57202afc2d2691379eb759591e38;hpb=198151f1d58834ff7889389007232a3d250f51f1;p=palacios.git

diff --git a/palacios/src/palacios/vmm_cpu_mapper.c b/palacios/src/palacios/vmm_cpu_mapper.c
index 449e2e7..88256dd 100644
--- a/palacios/src/palacios/vmm_cpu_mapper.c
+++ b/palacios/src/palacios/vmm_cpu_mapper.c
@@ -221,14 +221,14 @@ int default_mapper_admit(struct v3_vm_info *vm, unsigned int cpu_mask){
 
 	}
 
-    core->pcpu_id = core_idx;
-    vcore_id--;
+	core->pcpu_id = core_idx;
+	vcore_id--;
     }
 
-    if (vcore_id >= 0) { // dead code...
-	v3_stop_vm(vm);
-	return -1;
-    }
+    //    if (vcore_id >= 0) { // dead code...
+    //v3_stop_vm(vm);
+    //return -1;
+    //}
 
     return 0;
 }