# https://syzkaller.appspot.com/bug?id=c816e42fd653b6d43aaad193649241add2de2d6e
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":1,"slowdown":1,"sandbox":"none","sandbox_arg":0,"close_fds":true}
syz_open_dev$usbfs(&(0x7f0000000000), 0x13, 0x0)
syz_usbip_server_init(0x1)