There are only two USB3 host/OTG controllers in RK3399, with selectable PHY for either normal USB3 or USB-C, so you can have two USB3 ports or two USB-C ports or a mix of those... and from what we have seen from other boards/benchmarks, the two USB3 controllers seem to share bandwidth...
Come have a chat in the Pine IRC channel >>