# https://syzkaller.appspot.com/bug?id=cdecfc1534954eae599db720edd07c82898189a6
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":8,"slowdown":1,"sandbox":"","close_fds":false}
r0 = syz_open_pts()
fcntl$lock(r0, 0x9, 0x0)
fcntl$lock(r0, 0x9, &(0x7f0000000000)={0x1, 0x0, 0x7fffffffffffffff, 0x2000300010000})
fcntl$lock(r0, 0x9, &(0x7f0000000180)={0x0, 0x0, 0x0, 0x100000000})