From: Peter Dinda <pdinda@northwestern.edu>
Date: Mon, 3 Aug 2015 01:20:03 +0000 (-0500)
Subject: Removal of debugging code from halt code
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=40a6dd36505a959c132c32497aa50bd74afd8250

Removal of debugging code from halt code
---

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;