# https://syzkaller.appspot.com/bug?id=f18d4e64c9ddaf7c28e477d81a3dbfca1b419649
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"slowdown":1,"sandbox":"none","fault_call":-1,"tun":true,"netdev":true,"binfmt_misc":true,"close_fds":true,"vhci":true,"sysctl":true,"tmpdir":true,"segv":true}
r0 = syz_open_dev$tty20(0xc, 0x4, 0x1)
ioctl$KDMKTONE(r0, 0x2, 0x970001)