struct v3_icc_ops {
int (*raise_intr)(struct guest_info * core, int intr_num, void * private_data);
- int (*should_deliver_flat)(struct guest_info * core, uint8_t mda, void * private_data);
- int (*should_deliver_cluster)(struct guest_info * core, uint8_t mda, void * private_data);
+ int (*should_deliver)(struct guest_info * core, uint8_t mda, void * private_data);
};
* @param dfr - A copy of the APIC's DFR (LAPIC-style DFR)
& @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, uint32_t dfr, uint32_t ext_irq);
+int v3_icc_send_ipi(struct vm_device * icc_bus, uint32_t apic_src, uint64_t icr, uint32_t ext_irq);
#if 0