Ian Campbell <i...@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? -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/8462xv20at....@sauna.l.org
