X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=9e9f812aae524a132d8e4cddcf65f85465291e28;hb=ec6d459b0aac3e9eea431e854904be7a58f2ffa8;hp=5982a3a0b8a358d771e191cd66b04d77d11db8fe;hpb=9dcbb93853a8ffa6622cca0e86f4a4a29ddc52fe;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 5982a3a..9e9f812 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -178,6 +178,16 @@
 	    ret;							\
 	})								\
 	
+
+#define V3_ACK_IRQ(irq)						\
+    do {							\
+	extern struct v3_os_hooks * os_hooks;			\
+	if ((os_hooks) && (os_hooks)->ack_irq) {		\
+	    (os_hooks)->ack_irq(irq);				\
+	}							\
+    } while (0)
+
+
 #define V3_Yield(addr)					\
     do {						\
 	extern struct v3_os_hooks * os_hooks;		\