r0 = syz_open_dev$vcsa(&(0x7f0000000800), 0x1ff, 0x0)
ioctl$int_in(r0, 0x5452, &(0x7f0000000a00)=0x2)