Symbol: tpci200_disable_irq