diff options
Diffstat (limited to 'arch/i386/xen/xen-ops.h')
-rw-r--r-- | arch/i386/xen/xen-ops.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/arch/i386/xen/xen-ops.h b/arch/i386/xen/xen-ops.h index 54d98b52085e..7667abd390ec 100644 --- a/arch/i386/xen/xen-ops.h +++ b/arch/i386/xen/xen-ops.h | |||
@@ -2,7 +2,6 @@ | |||
2 | #define XEN_OPS_H | 2 | #define XEN_OPS_H |
3 | 3 | ||
4 | #include <linux/init.h> | 4 | #include <linux/init.h> |
5 | #include <linux/clocksource.h> | ||
6 | 5 | ||
7 | DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu); | 6 | DECLARE_PER_CPU(struct vcpu_info *, xen_vcpu); |
8 | DECLARE_PER_CPU(unsigned long, xen_cr3); | 7 | DECLARE_PER_CPU(unsigned long, xen_cr3); |
@@ -18,7 +17,7 @@ unsigned long xen_cpu_khz(void); | |||
18 | void __init xen_time_init(void); | 17 | void __init xen_time_init(void); |
19 | unsigned long xen_get_wallclock(void); | 18 | unsigned long xen_get_wallclock(void); |
20 | int xen_set_wallclock(unsigned long time); | 19 | int xen_set_wallclock(unsigned long time); |
21 | cycle_t xen_clocksource_read(void); | 20 | unsigned long long xen_sched_clock(void); |
22 | 21 | ||
23 | void xen_mark_init_mm_pinned(void); | 22 | void xen_mark_init_mm_pinned(void); |
24 | 23 | ||