The text 71a9a093c6e5, as Debian 8 (Jessie) shipped it.
destroy an irq created with ht_create_irq
ht_destroy_irq(9) on Linux now
