# https://syzkaller.appspot.com/bug?id=b7188e59c6e3f80ad91a0acee7d76d13c0794f43
# 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(0x5)
write$usbip_server(r0, 0x0, 0x0)