xen: add xen_arch_resume()/xen_timer_resume hook for ia64 support
[safe/jmp/linux-2.6] / arch / x86 / xen / xen-ops.h
index 6f4b104..77354d2 100644 (file)
@@ -37,7 +37,6 @@ void __init xen_time_init(void);
 unsigned long xen_get_wallclock(void);
 int xen_set_wallclock(unsigned long time);
 unsigned long long xen_sched_clock(void);
-void xen_timer_resume(void);
 
 irqreturn_t xen_debug_interrupt(int irq, void *dev_id);