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
--