Adrian Chadd 946a48449b Make ipi_cpu() function as intended. ... IPI's in Xen are implemented through hypervisor event channels. The MP code creates a pair of IRQs for each base IPI per CPU (one for IPI function dispatch calls, one for IPI bitmap dispatch calls.) Using PCPU_GET() was returning the IRQ of the IPI handler for the current CPU; thus calls to ipi_cpu() were sending itself a message. Instead, looking up the IPI in the target CPU ipi-to-irq map is needed. Note: This doesn't fix Xen SMP (far from it!) but it at least sends IPI's to the right places. Next - sending IPIs.. PR: 135069		2009-05-30 08:53:13 +00:00
..
evtchn	Make ipi_cpu() function as intended.	2009-05-30 08:53:13 +00:00
interface
xenbus	Don't call the watch callback if its NULL.	2009-05-28 04:03:16 +00:00
evtchn.h
features.c
features.h
gnttab.c
gnttab.h
hypervisor.h
reboot.c	Fix the Xen build for i386 PV mode.	2009-04-01 17:06:28 +00:00
xen_intr.h