diff options
Diffstat (limited to 'arch/x86/xen/xen-ops.h')
-rw-r--r-- | arch/x86/xen/xen-ops.h | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h index b9aaea45f07f..b02a909bfd4c 100644 --- a/arch/x86/xen/xen-ops.h +++ b/arch/x86/xen/xen-ops.h | |||
@@ -11,6 +11,7 @@ void xen_copy_trap_info(struct trap_info *traps); | |||
11 | 11 | ||
12 | DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu); | 12 | DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu); |
13 | DECLARE_PER_CPU(unsigned long, xen_cr3); | 13 | DECLARE_PER_CPU(unsigned long, xen_cr3); |
14 | DECLARE_PER_CPU(unsigned long, xen_current_cr3); | ||
14 | 15 | ||
15 | extern struct start_info *xen_start_info; | 16 | extern struct start_info *xen_start_info; |
16 | extern struct shared_info *HYPERVISOR_shared_info; | 17 | extern struct shared_info *HYPERVISOR_shared_info; |
@@ -27,14 +28,9 @@ unsigned long xen_get_wallclock(void); | |||
27 | int xen_set_wallclock(unsigned long time); | 28 | int xen_set_wallclock(unsigned long time); |
28 | unsigned long long xen_sched_clock(void); | 29 | unsigned long long xen_sched_clock(void); |
29 | 30 | ||
30 | void xen_mark_init_mm_pinned(void); | 31 | bool xen_vcpu_stolen(int vcpu); |
31 | |||
32 | DECLARE_PER_CPU(enum paravirt_lazy_mode, xen_lazy_mode); | ||
33 | 32 | ||
34 | static inline unsigned xen_get_lazy_mode(void) | 33 | void xen_mark_init_mm_pinned(void); |
35 | { | ||
36 | return x86_read_percpu(xen_lazy_mode); | ||
37 | } | ||
38 | 34 | ||
39 | void __init xen_fill_possible_map(void); | 35 | void __init xen_fill_possible_map(void); |
40 | 36 | ||