removed icc bus

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

diff --git a/palacios/include/devices/apic.h b/palacios/include/devices/apic.h
index 2858b24..6ad758e 100644 (file)
--- a/palacios/include/devices/apic.h
+++ b/palacios/include/devices/apic.h
@@ -22,9 +22,11 @@
 
 #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 v3_vm_info * vm, struct vm_device * apic_dev, uint32_t irq, uint32_t dst);
 
 
 #endif // ! __V3VEE__