K 10 svn:author V 4 jeff K 8 svn:date V 27 2007-01-06T02:34:23.000000Z K 7 svn:log V 172 - Don't IPI unless we're going to interrupt something exiting in the kernel. otherwise we can afford the latency. This makes a significant performance improvement. END