Ian Campbell <ijc@hellion.org.uk> writes: > I guess the right thing to do would be to using some existing paravirt > interface to send the IPI instead of tweaking the APIC directly, or if Is void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector); in xen/events.h perhaps already this?