Re: [PATCH] x86: Recover timer_ack lost in the merge of the NMI watchdog

["Maciej W. Rozycki" <macro@linux-mips.org>]

On Fri, 11 Jul 2008, Ingo Molnar wrote:

> i've applied your fixes to tip/x86/core:
> 
>  Maciej W. Rozycki (4):
>       x86: L-APIC: Set IRQ0 as edge-triggered
>       x86: L-APIC: Always fully configure IRQ0
>       x86: I/O APIC: Never configure IRQ2
>       x86: Recover timer_ack lost in the merge of the NMI watchdog

 Thanks, please apply "x86: I/O APIC: Remove an IRQ2-mask hack" on top of
these.  Then what currently comprises dmi_ignore_irq0_timer_override() can
be done more properly as soon as we know how to get information about
INTIN0/2 configurations from the SB400.  Furthermore, following
considerations in the other mail, I think the HPET driver should use the
notion of ISA IRQ numbers by mapping them appropriately from I/O APIC pin
numbers.  Reusing pin_2_irq() for this purpose seems a reasonable way of
doing this to me.

  Maciej