X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;h=5c6b29b042bf1eb530a46124d3ecd1b27e72e436;hb=f4b074d9bf5c28dfd6e5fd616805ade2e9473b01;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..5c6b29b 100644
--- a/palacios/include/palacios/vmm_intr.h
+++ b/palacios/include/palacios/vmm_intr.h
@@ -1,3 +1,6 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __VMM_INTR_H_
 #define __VMM_INTR_H_
 
@@ -60,11 +63,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);
 };