The text da373c1a1c5b, as Debian 4.0 (Etch) shipped it.
set the irq type for an irq
set_irq_type(9) on Linux now
