|
@@ -2117,6 +2117,7 @@ static inline void __init check_timer(void)
|
|
|
if (idx != -1 && irq_trigger(idx))
|
|
|
unmask_ioapic_irq(irq_get_chip_data(0));
|
|
|
}
|
|
|
+ irq_domain_deactivate_irq(irq_data);
|
|
|
irq_domain_activate_irq(irq_data);
|
|
|
if (timer_irq_works()) {
|
|
|
if (disable_timer_pin_1 > 0)
|
|
@@ -2138,6 +2139,7 @@ static inline void __init check_timer(void)
|
|
|
* legacy devices should be connected to IO APIC #0
|
|
|
*/
|
|
|
replace_pin_at_irq_node(data, node, apic1, pin1, apic2, pin2);
|
|
|
+ irq_domain_deactivate_irq(irq_data);
|
|
|
irq_domain_activate_irq(irq_data);
|
|
|
legacy_pic->unmask(0);
|
|
|
if (timer_irq_works()) {
|