# https://syzkaller.appspot.com/bug?id=08f12df95ae7da69814e64eb5515d5a85ed06b76
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":6,"slowdown":1,"sandbox":"none","fault_call":-1,"cgroups":true,"close_fds":true,"ieee802154":true,"tmpdir":true}
r0 = syz_usbip_server_init(0x2)
write$usbip_server(r0, 0x0, 0x0)