The text c3e901fd421d, as Debian 7 (Wheezy) shipped it.
destroy an irq created with ht_create_irq
ht_destroy_irq(9) on Linux now
