X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Ficc_bus.h;h=da5f39f25d5dee9b0e55a71ba49aebd27687bdc3;hb=0c31bb41ac41d04a891a6eeff5bae398fa89b419;hp=6b1fabb74621c61d2387fdaea9966cb79a4a5e78;hpb=7ec9b3cfc5d14390e0851a698f23442bbd7757b6;p=palacios.git

diff --git a/palacios/include/devices/icc_bus.h b/palacios/include/devices/icc_bus.h
index 6b1fabb..da5f39f 100644
--- a/palacios/include/devices/icc_bus.h
+++ b/palacios/include/devices/icc_bus.h
@@ -39,8 +39,9 @@ int v3_icc_register_ioapic(struct v3_vm_info *vm, struct vm_device * icc_bus, ui
  * @param apic_src - The source APIC id.
  * @param apic_num - The remote APIC number.
  * @param icr      - A copy of the APIC's ICR.  (LAPIC-style ICR, clone from redir table for ioapics)
+ & @param extirq   - irq for external interrupts (e.g., from 8259)
  */
-int v3_icc_send_ipi(struct vm_device * icc_bus, uint32_t apic_src, uint64_t icr);
+int v3_icc_send_ipi(struct vm_device * icc_bus, uint32_t apic_src, uint64_t icr, uint32_t ext_irq);
 
 
 #if 0