The text 4e2741a18c0c, as Debian 7 (Wheezy) shipped it.
create an irq and attach it to a device.
ht_create_irq(9) on Linux now
