The text 5b55cf53bf22, as Debian 6.0 (Squeeze) shipped it.
destroy an irq created with ht_create_irq
ht_destroy_irq(9) on Linux now
