fixed stupid error...

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

diff --git a/palacios/src/palacios/vmm_intr.c b/palacios/src/palacios/vmm_intr.c
index 6ff14cd..6db7ba0 100644 (file)
--- a/palacios/src/palacios/vmm_intr.c
+++ b/palacios/src/palacios/vmm_intr.c
@@ -44,6 +44,10 @@ void v3_init_interrupt_state(struct guest_info * info) {
     info->intr_state.excp_num = 0;
     info->intr_state.excp_error_code = 0;
 
+    info->intr_state.irq_pending = 0;
+    info->intr_state.irq_vector = 0;
+
+
     INIT_LIST_HEAD(&(info->intr_state.controller_list));
 
     memset((uchar_t *)(info->intr_state.hooks), 0, sizeof(struct v3_irq_hook *) * 256);
@@ -101,11 +105,6 @@ int v3_hook_irq(struct guest_info * info,
 
 
 static int passthrough_irq_handler(struct guest_info * info, struct v3_interrupt * intr, void * priv_data) {
-
-    if (intr->should_ack == 1) {
-       V3_ACK_IRQ(intr->irq);
-    }
-
     PrintDebug("[passthrough_irq_handler] raise_irq=%d (guest=0x%p)\n", 
               intr->irq, (void *)info);