The text 9af2611501a1, as Debian 5.0 (Lenny) shipped it.
set irq type data for an irq
set_irq_data(9) on Linux now
