Ok. One more time. Please, please, please let this fix the interrupt injection mechanism.

[palacios.git] / palacios / include / palacios / vmm_intr.h

diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h
index 82de275..50e1b22 100644 (file)
--- a/palacios/include/palacios/vmm_intr.h
+++ b/palacios/include/palacios/vmm_intr.h
@@ -49,6 +49,7 @@ struct v3_intr_state {
     struct list_head controller_list;
 
     uint_t irq_pending;
+    uint_t irq_started;
     uint_t irq_vector;
 
     /* some way to get the [A]PIC intr */