|
@@ -572,6 +572,19 @@ void xen_setup_cpu_clockevents(void)
|
|
clockevents_register_device(&__get_cpu_var(xen_clock_events));
|
|
clockevents_register_device(&__get_cpu_var(xen_clock_events));
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+void xen_timer_resume(void)
|
|
|
|
+{
|
|
|
|
+ int cpu;
|
|
|
|
+
|
|
|
|
+ if (xen_clockevent != &xen_vcpuop_clockevent)
|
|
|
|
+ return;
|
|
|
|
+
|
|
|
|
+ for_each_online_cpu(cpu) {
|
|
|
|
+ if (HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, cpu, NULL))
|
|
|
|
+ BUG();
|
|
|
|
+ }
|
|
|
|
+}
|
|
|
|
+
|
|
__init void xen_time_init(void)
|
|
__init void xen_time_init(void)
|
|
{
|
|
{
|
|
int cpu = smp_processor_id();
|
|
int cpu = smp_processor_id();
|