[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#597828: linux-image-2.6.32-5-amd64: [xen] debug options + sysrq-t => sending NMI to all CPUs: BUG: unable to handle kernel paging request



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?





Reply to: