X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;fp=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=a72f5967ed5d1d14653da4920bf7aba3287d7af9;hp=8f87be92304e66d6a359ea3ec60546eabc809a63;hb=28cfe68985ef4360c9bd7428a19c222b295e9d85;hpb=e67f90ff8dbf5b58cd4930eba8b9907ea6a12d03

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index 8f87be9..a72f596 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -338,18 +338,16 @@ static int update_irq_state(struct guest_info * info) {
 	
 	guest_ctrl->EVENTINJ.valid = 1;
 
-	PrintDebug("<%d> Injecting Exception %d (CR2=%p) (EIP=%p)\n", 
-		   (int)info->num_exits, 
-		   guest_ctrl->EVENTINJ.vector, 
-		   (void *)(addr_t)info->ctrl_regs.cr2,
-		   (void *)(addr_t)info->rip);
 
 
 #ifdef CONFIG_DEBUG_INTERRUPTS
-	PrintDebug("Injecting Exception %d (EIP=%p)\n", 
+	PrintDebug("<%d> Injecting Exception %d (CR2=%p) (EIP=%p)\n", 
+		   (int)info->num_exits, 
 		   guest_ctrl->EVENTINJ.vector, 
+		   (void *)(addr_t)info->ctrl_regs.cr2,
 		   (void *)(addr_t)info->rip);
 #endif
+
 	v3_injecting_excp(info, excp);
 
 
@@ -408,7 +406,7 @@ static int update_irq_state(struct guest_info * info) {
  * CAUTION and DANGER!!! 
  * 
  * The VMCB CANNOT(!!) be accessed outside of the clgi/stgi calls inside this function
- * When exectuing a symbiotic call the VMCB WILL be overwritten, so any dependencies 
+ * When exectuing a symbiotic call, the VMCB WILL be overwritten, so any dependencies 
  * on its contents will cause things to break. The contents at the time of the exit WILL 
  * change before the exit handler is executed.
  */