X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=c226e682772f43cc9ad5981dd9597a8ebe47487c;hb=e0711262cc7bef8962813f713d36cc8cabf80cb4;hp=847bb1ef8fd134f04213dbe8c5c3aaa33af96bd5;hpb=cbe14745457d9a646157633e1fa8eccffe035953;p=palacios.git

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index 847bb1e..c226e68 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -527,7 +527,11 @@ static int update_irq_entry_state(struct guest_info * info) {
     } else {
 	switch (v3_intr_pending(info)) {
 	    case V3_EXTERNAL_IRQ: {
-		uint32_t irq = v3_get_intr(info);
+ 	        int irq = v3_get_intr(info); 
+
+		if (irq<0) {
+		  break;
+		}
 
 		guest_ctrl->guest_ctrl.V_IRQ = 1;
 		guest_ctrl->guest_ctrl.V_INTR_VECTOR = irq;