modified interrupt interface to pass guest_info pointer

[palacios.git] / palacios / include / devices / apic.h

diff --git a/palacios/include/devices/apic.h b/palacios/include/devices/apic.h
index 5a11639..f78e2a6 100644 (file)
--- a/palacios/include/devices/apic.h
+++ b/palacios/include/devices/apic.h
@@ -25,7 +25,7 @@
 #include <palacios/vmm_dev_mgr.h>
 
 
-int v3_apic_raise_intr(struct vm_device * apic_dev, int intr_num);
+int v3_apic_raise_intr(struct guest_info * info, struct vm_device * apic_dev, int intr_num);
 
 
 #endif // ! __V3VEE__