adrian ddadeb61d5 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_dev.c	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
evtchn.c	Make ipi_cpu() function as intended.	2009-05-30 08:53:13 +00:00