X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_handler.c;h=0b2028cb0413bf75e503f0b67b7d41207b05b9d4;hb=f5be0350e39fed900c6a9108b98b4c2309108853;hp=1383167765b6076e3a5e53a6d3f92adc9d2f14ab;hpb=af7fc8afd1fe80621923faa0c065c0ae89f768ac;p=palacios.git

diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c
index 1383167..0b2028c 100644
--- a/palacios/src/palacios/svm_handler.c
+++ b/palacios/src/palacios/svm_handler.c
@@ -416,12 +416,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;