Symbol: st_irq_xlate