Symbol: control_rx_irq_watermark