Attilio Rao 3a0318e055 Merge part of r221322 from largeSMP project: ...

Sync XEN support with i386 about the usage of ipi_send_cpu()

Tested by:	pluknet
MFC after:	2 weeks

2011-05-18 16:07:30 +00:00

..

clock.c

…

exception.s

…

locore.s

…

mp_machdep.c

Merge part of r221322 from largeSMP project:

2011-05-18 16:07:30 +00:00

mptable.c

…

pmap.c

…

xen_clock_util.c

…

xen_machdep.c

…

xen_rtc.c

…