X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;h=8dc5fd815ced57736cae0178894fb9209b112acd;hb=a24a1722328a575cec8dd8578902fd0f68c72c1c;hp=50e1b229db05ea1ee37af5c95371ad31491c24bc;hpb=6d57b915c82345c4dfb1897209f4778b4548bc31;p=palacios.git

diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h
index 50e1b22..8dc5fd8 100644
--- a/palacios/include/palacios/vmm_intr.h
+++ b/palacios/include/palacios/vmm_intr.h
@@ -25,7 +25,7 @@
 
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_list.h>
-
+#include <palacios/vmm_lock.h>
 
 
 typedef enum {INVALID_INTR, EXTERNAL_IRQ, NMI, SOFTWARE_INTR, VIRTUAL_INTR} intr_type_t;
@@ -52,6 +52,8 @@ struct v3_intr_state {
     uint_t irq_started;
     uint_t irq_vector;
 
+    v3_lock_t irq_lock;
+
     /* some way to get the [A]PIC intr */
     struct v3_irq_hook * hooks[256];