Cleanup and fixes based on Coverity pass

[palacios.git] / palacios / src / palacios / vmm_cpu_mapper.c

diff --git a/palacios/src/palacios/vmm_cpu_mapper.c b/palacios/src/palacios/vmm_cpu_mapper.c
index 449e2e7..88256dd 100644 (file)
--- 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;
 }