Symbol: t4_free_irq