r0 = syz_open_dev$tty20(0xc, 0x4, 0x1)
ioctl$TCXONC(r0, 0x540a, 0x0)
write$binfmt_misc(r0, &(0x7f0000000000)=ANY=[], 0x4)
ioctl$TCSETSF2(r0, 0x402c542d, &(0x7f0000000080)={0x0, 0x0, 0x0, 0x0, 0x0, "8f193fdfc1a60da43ebfade8d71548c50743cd"})