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	Make ipi_cpu() function as intended.	2009-05-30 08:53:13 +00:00
interface	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
xenbus	Don't call the watch callback if its NULL.	2009-05-28 04:03:16 +00:00
evtchn.h	merge 186535, 186537, and 186538 from releng_7_xen	2008-12-29 06:31:03 +00:00
features.c	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
features.h	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
gnttab.c	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
gnttab.h	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
hypervisor.h	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00
reboot.c	Fix the Xen build for i386 PV mode.	2009-04-01 17:06:28 +00:00
xen_intr.h	Merge in support for Xen HVM on amd64 architecture.	2009-03-11 15:30:12 +00:00