Symbol: usb4_switch_alloc_dp_resource