added the framework for interupt delivery

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

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 4e62449..977356d 100644 (file)
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -5,7 +5,7 @@
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_io.h>
 #include <palacios/vmm_shadow_paging.h>
-
+#include <palacios/vmm_intr.h>
 
 typedef ullong_t gpr_t;
 
@@ -51,6 +51,9 @@ struct guest_info {
   // nested_paging_t nested_page_state;
 
 
+  // This structure is how we get interrupts for the guest
+  struct vm_intr intr_state;
+
   vmm_io_map_t io_map;
   // device_map