Symbol: TXX9_IRQ_BASE