Symbol: write_dp_port