summaryrefslogtreecommitdiffstats
path: root/arch/x86/xen/xen-ops.h
diff options
context:
space:
mode:
authorJeremy Fitzhardinge <jeremy@goop.org>2008-05-31 02:33:03 +0200
committerIngo Molnar <mingo@elte.hu>2008-06-02 13:25:44 +0200
commitd07af1f0e3a3e378074fc36322dd7b0e72d9a3e2 (patch)
tree03bdfcd4bc079704eae010e6006301f801c9eefc /arch/x86/xen/xen-ops.h
parentxen: restore vcpu_info mapping (diff)
downloadlinux-d07af1f0e3a3e378074fc36322dd7b0e72d9a3e2.tar.xz
linux-d07af1f0e3a3e378074fc36322dd7b0e72d9a3e2.zip
xen: resume timers on all vcpus
On resume, the vcpu timer modes will not be restored. The timer infrastructure doesn't do this for us, since it assumes the cpus are offline. We can just poke the other vcpus into the right mode directly though. Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'arch/x86/xen/xen-ops.h')
-rw-r--r--arch/x86/xen/xen-ops.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h
index a457e03e1b21..9a055592a307 100644
--- a/arch/x86/xen/xen-ops.h
+++ b/arch/x86/xen/xen-ops.h
@@ -37,6 +37,7 @@ 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);