# https://syzkaller.appspot.com/bug?id=c6e57838e5404e17253306d6000e3b826433bf92
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":6,"sandbox":"","fault_call":-1,"close_fds":false}
r0 = syz_usbip_server_init(0x1)
write$usbip_server(r0, 0x0, 0x0)