Symbol: usb4_switch_setup