X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_cpu_mapper.c;h=2c7fe8985e07e0a5b712479783f39708ffc71313;hp=626f50fd60dcf6b234d0bf27a11fe248bd2bd819;hb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;hpb=3e937e5468169b8183a22a90f6d07ff370abde0c

diff --git a/palacios/src/palacios/vmm_cpu_mapper.c b/palacios/src/palacios/vmm_cpu_mapper.c
index 626f50f..2c7fe89 100644
--- a/palacios/src/palacios/vmm_cpu_mapper.c
+++ b/palacios/src/palacios/vmm_cpu_mapper.c
@@ -224,7 +224,7 @@ int default_mapper_admit(struct v3_vm_info *vm, unsigned int cpu_mask){
     vcore_id--;
     }
 
-    if (vcore_id >= 0) {
+    if (vcore_id >= 0) { // dead code...
 	v3_stop_vm(vm);
 	return -1;
     }