debugging fixes

[palacios.git] / palacios / src / palacios / svm_handler.c

diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c
index 9102c16..af6c49f 100644 (file)
--- a/palacios/src/palacios/svm_handler.c
+++ b/palacios/src/palacios/svm_handler.c
@@ -73,7 +73,12 @@ int v3_handle_svm_exit(struct guest_info * info) {
 
     if ((info->intr_state.irq_pending == 1) && (guest_ctrl->guest_ctrl.V_IRQ == 0)) {
        // Interrupt was taken in the guest
-       PrintDebug("Interrupt taken by guest\n");
+#ifdef DEBUG_INTERRUPTS
+       if ((info->intr_state.irq_vector == 238) || 
+           (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);
     }
 
@@ -364,9 +369,12 @@ int v3_handle_svm_exit(struct guest_info * info) {
                guest_ctrl->guest_ctrl.V_IGN_TPR = 1;
                guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
 #ifdef DEBUG_INTERRUPTS
-               PrintDebug("Injecting Interrupt %d (EIP=%p)\n", 
-                          guest_ctrl->guest_ctrl.V_INTR_VECTOR, 
-                          (void *)(addr_t)info->rip);
+               if ((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);
+               }
 #endif
                info->intr_state.irq_pending = 1;
                info->intr_state.irq_vector = irq;
@@ -386,7 +394,7 @@ int v3_handle_svm_exit(struct guest_info * info) {
                    guest_ctrl->EVENTINJ.error_code = info->intr_state.excp_error_code;
                    guest_ctrl->EVENTINJ.ev = 1;
 #ifdef DEBUG_INTERRUPTS
-                   PrintDebug("Injecting error code %x\n", guest_ctrl->EVENTINJ.error_code);
+                   //              PrintDebug("Injecting exception %d with error code %x\n", excp, guest_ctrl->EVENTINJ.error_code);
 #endif
                }
                
@@ -394,7 +402,7 @@ int v3_handle_svm_exit(struct guest_info * info) {
                
                guest_ctrl->EVENTINJ.valid = 1;
 #ifdef DEBUG_INTERRUPTS
-               PrintDebug("Injecting Interrupt %d (EIP=%p)\n", 
+               PrintDebug("Injecting Exception %d (EIP=%p)\n", 
                           guest_ctrl->EVENTINJ.vector, 
                           (void *)(addr_t)info->rip);
 #endif
@@ -414,12 +422,9 @@ int v3_handle_svm_exit(struct guest_info * info) {
                return -1;
        }
        
-    } else {
-#ifdef DEBUG_INTERRUPTS
-       PrintDebug("No interrupts/exceptions pending\n");
-#endif
     }
-    
+
+
     guest_state->cr0 = info->ctrl_regs.cr0;
     guest_state->cr2 = info->ctrl_regs.cr2;
     guest_state->cr3 = info->ctrl_regs.cr3;