|
@@ -397,7 +397,9 @@ void xen_setup_timer(int cpu)
|
|
|
name = "<timer kasprintf failed>";
|
|
|
|
|
|
irq = bind_virq_to_irqhandler(VIRQ_TIMER, cpu, xen_timer_interrupt,
|
|
|
- IRQF_DISABLED|IRQF_PERCPU|IRQF_NOBALANCING|IRQF_TIMER,
|
|
|
+ IRQF_DISABLED|IRQF_PERCPU|
|
|
|
+ IRQF_NOBALANCING|IRQF_TIMER|
|
|
|
+ IRQF_FORCE_RESUME,
|
|
|
name, NULL);
|
|
|
|
|
|
evt = &per_cpu(xen_clock_events, cpu);
|