diff options
| -rw-r--r-- | arch/x86/kernel/nmi.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/x86/kernel/nmi.c b/arch/x86/kernel/nmi.c index 8dfe9db87a9e..716b89284be0 100644 --- a/arch/x86/kernel/nmi.c +++ b/arch/x86/kernel/nmi.c | |||
| @@ -171,6 +171,9 @@ int __init check_nmi_watchdog(void) | |||
| 171 | error: | 171 | error: |
| 172 | if (nmi_watchdog == NMI_IO_APIC && !timer_through_8259) | 172 | if (nmi_watchdog == NMI_IO_APIC && !timer_through_8259) |
| 173 | disable_8259A_irq(0); | 173 | disable_8259A_irq(0); |
| 174 | #ifdef CONFIG_X86_32 | ||
| 175 | timer_ack = 0; | ||
| 176 | #endif | ||
| 174 | return -1; | 177 | return -1; |
| 175 | } | 178 | } |
| 176 | 179 | ||
