X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=d2719721c889fd999e316cda897021656d69f0e4;hb=7841dc573457c334a0f3b6e9186d26b1776c400f;hp=4e62449a58934e408a89393575170dc8c022667a;hpb=40be15894eccfbb51e42bcfe550aaf8d9841bc3a;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 4e62449..d271972 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -5,7 +5,8 @@
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_io.h>
 #include <palacios/vmm_shadow_paging.h>
-
+#include <palacios/vmm_intr.h>
+#include <palacios/vmm_dev_mgr.h>
 
 typedef ullong_t gpr_t;
 
@@ -51,9 +52,14 @@ 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
 
+  struct vmm_dev_mgr  dev_mgr;
+
   vm_cpu_mode_t cpu_mode;