X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fapic.h;h=f78e2a60f9f3f7eab9c4ee4539a999337a198b2c;hb=19b2e4b4ce85ae4e683a3ede33360bdf7547b069;hp=2858b247e00ea5a4fe38b97e19ff4d59fbe5d781;hpb=6c56ead58f57e08c23eab5d67f2a58f95ce712b4;p=palacios.git

diff --git a/palacios/include/devices/apic.h b/palacios/include/devices/apic.h
index 2858b24..f78e2a6 100644
--- a/palacios/include/devices/apic.h
+++ b/palacios/include/devices/apic.h
@@ -22,9 +22,10 @@
 
 #ifdef __V3VEE__
 
-#include <palacios/vm_dev.h>
+#include <palacios/vmm_dev_mgr.h>
 
-struct vm_device * v3_create_apic();
+
+int v3_apic_raise_intr(struct guest_info * info, struct vm_device * apic_dev, int intr_num);
 
 
 #endif // ! __V3VEE__