The text 3b668b10ab65, as Debian 4.0 (Etch) shipped it.
handle spurious and unhandled irqs
handle_bad_irq(9) on Linux now