diff options
| author | Jeremy Fitzhardinge <jeremy@goop.org> | 2008-05-31 01:33:03 +0100 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-06-02 13:25:44 +0200 |
| commit | d07af1f0e3a3e378074fc36322dd7b0e72d9a3e2 (patch) | |
| tree | 03bdfcd4bc079704eae010e6006301f801c9eefc /arch/x86/xen/xen-ops.h | |
| parent | 9c7a794209f8a91f47697c3be20597eb60531e6d (diff) | |
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.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h index a457e03e1b2..9a055592a30 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); |