Adrian Chadd d68bbb81fb Don't schedule a CALL_FUNCTION_VECTOR software IPI if the IPI was signaled ... via the bitmap (and thus sent via RESCHEDULE_VECTOR.)		2009-05-30 14:59:08 +00:00
..
clock.c	Fix the Xen TOD update when the hypervisor wall clock is nudged.	2009-05-29 13:43:21 +00:00
exception.s
locore.s
mp_machdep.c	Don't schedule a CALL_FUNCTION_VECTOR software IPI if the IPI was signaled	2009-05-30 14:59:08 +00:00
mptable.c
pmap.c	Fix the Xen build for i386 PV mode.	2009-04-01 17:06:28 +00:00
xen_clock_util.c	Migrate the Xen hypervisor clock reading routines into something	2009-05-29 13:36:06 +00:00
xen_machdep.c	Fix the Xen build for i386 PV mode.	2009-04-01 17:06:28 +00:00
xen_rtc.c	Migrate the Xen hypervisor clock reading routines into something	2009-05-29 13:36:06 +00:00