added locking to interrupt subsystem

[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 50e1b22..8dc5fd8 100644 (file)
--- 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];