Symbol: usb4_switch_op