Symbol: usb4_switch_map_usb3_down