Symbol: rx_irq