X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=dca1018e2ac731a6e2eef6f43fc119b461144bc1;hb=08acd192b161e69bc47414ee615e674d7736dd9c;hp=0060bc2c628417c2d656d8e7dbb0487172c8d27d;hpb=18713f98a14335b09cb7d87b3bea087255eaf10d;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 0060bc2..dca1018 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -279,6 +279,7 @@ int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask) {
 	void * core_thread = NULL;
 	struct guest_info * core = &(vm->cores[vcore_id]);
 
+	/* This assumes that the core 0 thread has been mapped to physical core 0 */
 	if (i == V3_Get_CPU()) {
 	    // We skip the local CPU, because it is reserved for vcore 0
 	    continue;