Symbol: efx_rx_queue_channel