X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=8e8c6a5c9d122ed0de19d1a0357f9b7449ecd4ad;hp=d2719721c889fd999e316cda897021656d69f0e4;hb=df58bd3c484a52b1e166dc28e7b9b6fd94e5a023;hpb=570ad6257ed18fbbc840c17a600f12f2dc44b010

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index d271972..8e8c6a5 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -7,6 +7,7 @@
 #include <palacios/vmm_shadow_paging.h>
 #include <palacios/vmm_intr.h>
 #include <palacios/vmm_dev_mgr.h>
+#include <palacios/vmm_irq.h>
 
 typedef ullong_t gpr_t;
 
@@ -55,6 +56,8 @@ struct guest_info {
   // This structure is how we get interrupts for the guest
   struct vm_intr intr_state;
 
+
+  struct vmm_irq_map irq_map;
   vmm_io_map_t io_map;
   // device_map