K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2011-05-02T13:56:47.980168Z
K 7
svn:log
V 101
- Merge a fix fixup for the last lazyfix removal
- Sync xen with i386 about the ipi_send_cpu() usage

END