Ian Campbell <[email protected]> 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? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
