Symbol: ef4_rx_queue_channel