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