xen: yield to IPI target if necessary
authorJeremy Fitzhardinge <jeremy@xensource.com>
Tue, 16 Oct 2007 18:51:30 +0000 (11:51 -0700)
committerJeremy Fitzhardinge <jeremy@goop.org>
Tue, 16 Oct 2007 18:51:30 +0000 (11:51 -0700)
When sending a call-function IPI to a vcpu, yield if the vcpu isn't
running.

Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>

No differences found