X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=bf338a1b7aa9953ff645ab2fa61b474464f1e11f;hb=96fd46fc682a12bb09782319d3a09d7d71e8a39b;hp=c5a7eb9f7a82c770a75f5ee70127dd2a1bf09aec;hpb=e874305a90a64fc14c06c00c8d57f8019709c19f;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index c5a7eb9..bf338a1 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -304,7 +304,6 @@ int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask) {
 	minor = core_idx % 8;
 
 
-
 	if ((core_mask[major] & (0x1 << minor)) == 0) {
 	    PrintError("Logical CPU %d not available for virtual core %d; not started\n",
 		       core_idx, vcore_id);