|
@@ -419,6 +419,7 @@ static void xen_cpu_die(unsigned int cpu)
|
|
|
unbind_from_irqhandler(per_cpu(xen_callfunc_irq, cpu), NULL);
|
|
|
unbind_from_irqhandler(per_cpu(xen_debug_irq, cpu), NULL);
|
|
|
unbind_from_irqhandler(per_cpu(xen_callfuncsingle_irq, cpu), NULL);
|
|
|
+ unbind_from_irqhandler(per_cpu(xen_irq_work, cpu), NULL);
|
|
|
xen_uninit_lock_cpu(cpu);
|
|
|
xen_teardown_timer(cpu);
|
|
|
|