Index: svm.c
===================================================================
--- svm.c	(revision 4390)
+++ svm.c	(working copy)
@@ -1360,6 +1360,7 @@
 		control->int_ctl &= ~V_IRQ_MASK;
 		push_irq(vcpu, control->int_vector);
 	}
+	control->int_vector = 0;
 
 	vcpu->interrupt_window_open =
 		!(control->int_state & SVM_INTERRUPT_SHADOW_MASK);