diff options
Diffstat (limited to 'arch/x86/xen/xen-ops.h')
-rw-r--r-- | arch/x86/xen/xen-ops.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h index 01c9dd386522..089d18923d2b 100644 --- a/arch/x86/xen/xen-ops.h +++ b/arch/x86/xen/xen-ops.h | |||
@@ -49,11 +49,8 @@ void xen_setup_runstate_info(int cpu); | |||
49 | void xen_teardown_timer(int cpu); | 49 | void xen_teardown_timer(int cpu); |
50 | cycle_t xen_clocksource_read(void); | 50 | cycle_t xen_clocksource_read(void); |
51 | void xen_setup_cpu_clockevents(void); | 51 | void xen_setup_cpu_clockevents(void); |
52 | unsigned long xen_tsc_khz(void); | 52 | void __init xen_init_time_ops(void); |
53 | void __init xen_time_init(void); | 53 | void __init xen_hvm_init_time_ops(void); |
54 | unsigned long xen_get_wallclock(void); | ||
55 | int xen_set_wallclock(unsigned long time); | ||
56 | unsigned long long xen_sched_clock(void); | ||
57 | 54 | ||
58 | irqreturn_t xen_debug_interrupt(int irq, void *dev_id); | 55 | irqreturn_t xen_debug_interrupt(int irq, void *dev_id); |
59 | 56 | ||