/* This reverses ht_create_irq removing the specified irq from existence. The irq should be free before this happens.  */
void ht_destroy_irq(unsigned int irq)
/* This reverses ht_create_irq removing the specified irq from existence. The irq should be free before this happens.  */
void ht_destroy_irq(unsigned int irq)
{
	struct ht_irq_cfg *cfg;
	cfg = get_irq_data(irq);
	set_irq_chip(irq, NULL);
	set_irq_data(irq, NULL);
	destroy_irq(irq);
	kfree(cfg);
}