K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-05-18T16:07:30.567747Z
K 7
svn:log
V 145
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

END