Symbol: usb4_switch_add_ports