K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2009-08-15T18:37:06.562966Z
K 7
svn:log
V 173
Port recent IPI enhachements to en:
* Introduce the ipi_nmi_handler() function for the Xen infrastructure
* Fixup adeguately the ipi sender functions

Approved by:	re (kib)

END