X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fapic.h;fp=palacios%2Finclude%2Fdevices%2Fapic.h;h=5a11639697bea7711fa83dbeddb9ce7ab5342dc3;hb=37c18b2c2335a41c68c2f0b779fd2b7d51ab216d;hp=2e4a0a899430daaf099881f21b9b346d7c5adc46;hpb=0160025157d9bc39687eb0c5df6cb3d965d20e07;p=palacios.git diff --git a/palacios/include/devices/apic.h b/palacios/include/devices/apic.h index 2e4a0a8..5a11639 100644 --- a/palacios/include/devices/apic.h +++ b/palacios/include/devices/apic.h @@ -22,9 +22,7 @@ #ifdef __V3VEE__ -#include - -struct vm_device * v3_create_apic(); +#include int v3_apic_raise_intr(struct vm_device * apic_dev, int intr_num);