Symbol: atl1c_free_irq