carta

handle_bad_irq(9) on Linux

The text 3b668b10ab65, as Debian 4.0 (Etch) shipped it.

handle spurious and unhandled irqs

handle_bad_irq(9) on Linux now