> The handler does handle the interrupt - both status and data registers > are read so from the keyboard controller point of view the interrupt > has been handled even if we happen to discard the data. As far as I > know IRQ12 is never shared by BIOS... Vojtech, do you remember why we > request IRQ12 with IRQF_SHARED?
A small number of boxes do share IRQ12 and it was switched to shared for them. The debug check is an *aid* not a definitive proof of a problem - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
