The text 6f9d32fdfc1e, as Debian 4.0 (Etch) shipped it.
set irq chip data for an irq
set_irq_chip_data(9) on Linux now
