r0 = syz_open_dev$tty20(0xc, 0x4, 0x1)
fcntl$setstatus(r0, 0x4, 0x42000)
r1 = syz_open_dev$tty20(0xc, 0x4, 0x1)
r2 = syz_open_dev$tty20(0xc, 0x4, 0x1)
fcntl$setstatus(r2, 0x4, 0x42000)
fcntl$setstatus(r1, 0x4, 0x42000)