From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Tue, 17 Mar 2009 20:42:02 +0000 (-0500)
Subject: debugging fixes
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=a6225e5c3b1d99f331f123de87e5f677f402e413;hp=bc7e32ac62565b9f2aca07acdfa430aa3d444e8c;p=palacios.git

debugging fixes
---

diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c
index 85b70f0..af6c49f 100644
--- a/palacios/src/palacios/svm_handler.c
+++ b/palacios/src/palacios/svm_handler.c
@@ -75,8 +75,8 @@ int v3_handle_svm_exit(struct guest_info * info) {
 	// Interrupt was taken in the guest
 #ifdef DEBUG_INTERRUPTS
 	if ((info->intr_state.irq_vector == 238) || 
-	    (info->intr_state.irq_vector == 238)) {
-	    PrintDebug("Interrupt taken by guest\n");
+	    (info->intr_state.irq_vector == 239)) {
+	    PrintDebug("Interrupt %d taken by guest\n", info->intr_state.irq_vector);
 	}
 #endif
 	v3_injecting_intr(info, info->intr_state.irq_vector, EXTERNAL_IRQ);
@@ -370,7 +370,7 @@ int v3_handle_svm_exit(struct guest_info * info) {
 		guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
 #ifdef DEBUG_INTERRUPTS
 		if ((guest_ctrl->guest_ctrl.V_INTR_VECTOR == 238) || 
-		    (guest_ctrl->guest_ctrl.V_INTR_VECTOR == 238)) {
+		    (guest_ctrl->guest_ctrl.V_INTR_VECTOR == 239)) {
 		    PrintDebug("Injecting Interrupt %d (EIP=%p)\n", 
 			       guest_ctrl->guest_ctrl.V_INTR_VECTOR, 
 			       (void *)(addr_t)info->rip);