X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_halt.c;h=445f43fecfd6437161a7aa856888071fd93b27db;hp=7dbc8ade83041ea5918b438ec3972e96c9650345;hb=40a6dd36505a959c132c32497aa50bd74afd8250;hpb=8cd246c3830733c2850cef049a7ad153daf0dd13

diff --git a/palacios/src/palacios/vmm_halt.c b/palacios/src/palacios/vmm_halt.c
index 7dbc8ad..445f43f 100644
--- a/palacios/src/palacios/vmm_halt.c
+++ b/palacios/src/palacios/vmm_halt.c
@@ -86,10 +86,6 @@ int v3_handle_halt(struct guest_info * info)
 	
 	info->rip += 1;
 	
-	if (info->vcpu_id==2) { 
-	  V3_Print(info->vm_info,info,"palacios: finishing halt with exppend=%d intrpend=%d\n", v3_excp_pending(info), v3_intr_pending(info));
-	}
-
     }
 
     return 0;