Symbol: usb3_set_halt