# https://syzkaller.appspot.com/bug?id=0bd948d2fcdbd3ba337dbd53fdca59b4afe9787d
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":6,"sandbox":"","fault_call":-1,"close_fds":false}
syz_open_dev$tty20(0xc, 0x4, 0x0)
r0 = syz_open_dev$tty1(0xc, 0x4, 0x1)
ioctl$VT_DISALLOCATE(r0, 0x5608)