diff options
| author |   Jeremy Fitzhardinge <jeremy@xensource.com> | 2007-10-16 11:51:30 -0700 |
|---|---|---|
| committer |   Jeremy Fitzhardinge <jeremy@goop.org> | 2007-10-16 11:51:30 -0700 |
| commit | f0d733942750c1ee6358c3a4a1a5d7ba73b7122f (patch) | |
| tree | 32d0802b60078b6a2f43ce19d9019033ada6485d /arch/x86/xen/xen-ops.h | |
| parent | Clean up duplicate includes in arch/i386/xen/ (diff) | |
| download | linux-dev-f0d733942750c1ee6358c3a4a1a5d7ba73b7122f.tar.xz linux-dev-f0d733942750c1ee6358c3a4a1a5d7ba73b7122f.zip | |
xen: yield to IPI target if necessary
When sending a call-function IPI to a vcpu, yield if the vcpu isn't
running.
Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Diffstat (limited to 'arch/x86/xen/xen-ops.h')
| -rw-r--r-- | arch/x86/xen/xen-ops.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h index b5697bae52d0..3847eed0bb09 100644 --- a/arch/x86/xen/xen-ops.h +++ b/arch/x86/xen/xen-ops.h @@ -27,6 +27,8 @@ unsigned long xen_get_wallclock(void); int xen_set_wallclock(unsigned long time); unsigned long long xen_sched_clock(void); +bool xen_vcpu_stolen(int vcpu); + void xen_mark_init_mm_pinned(void); void __init xen_fill_possible_map(void); |