K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-06-04T22:51:06.053111Z
K 7
svn:log
V 74
MFC r222065:
Sync XEN support with i386 about the usage of ipi_send_cpu()

END