X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;h=0b5eaf1203c5302104ba5e7f858a1dc256bad618;hb=7a1c54e7fb92e936bb8f5923ceda6f633ebf6077;hp=8aa4ec7ebf9bdf913d87e45a761ea47f54cc170b;hpb=0e3fe455f4c490dc4c5d9412decf2420b905b3e9;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h
index 8aa4ec7..0b5eaf1 100644
--- a/palacios/include/palacios/vmm_intr.h
+++ b/palacios/include/palacios/vmm_intr.h
@@ -60,11 +60,17 @@ void init_interrupt_state(struct guest_info * info);
 
 int v3_raise_irq(struct guest_info * info, int irq);
 
+/*Zheng 07/30/2008*/
+int v3_lower_irq(struct guest_info * info, int irq);
+
+
+/*Zheng 07/30/2008*/
 
 struct intr_ctrl_ops {
   int (*intr_pending)(void * private_data);
   int (*get_intr_number)(void * private_data);
   int (*raise_intr)(void * private_data, int irq);
+  int (*lower_intr)(void * private_data, int irq);
   int (*begin_irq)(void * private_data, int irq);
 };