X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=1bd6a8d1627abbe549a5b245996352c307f6b328;hp=0be223caf476de42adb45779e6ec7eb9e4cddc25;hb=b84c13ec0315404c6b6de8c1d3a7a65ac766a782;hpb=86ad850e874113d7f5aeb862b64cb222d40e903b

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 0be223c..1bd6a8d 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -101,8 +101,8 @@ struct shadow_page_state;
 struct shadow_map;
 struct vmm_io_map;
 struct emulation_state;
+struct v3_intr_state;
 
-/*Zheng 07/30/2008*/
 struct vm_ctrl_ops {
   int (*raise_irq)(struct guest_info * info, int irq);
   int (*lower_irq)(struct guest_info * info, int irq);
@@ -136,7 +136,7 @@ struct guest_info {
 
 
   // This structure is how we get interrupts for the guest
-  struct vm_intr intr_state;
+  struct v3_intr_state intr_state;
 
   struct vmm_io_map io_map;
   // device_map