K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2009-08-15T18:56:56.770118Z
K 7
svn:log
V 115
MFC r196256:
Fixup the Xen support in order to match newly introduced enhacements for
IPIs.

Approved by:	re (kib)

END