Symbol: rdev_tx_control_port