r0 = syz_open_dev$vcsa(&(0x7f00000000c0), 0x1, 0xc0501)
write(r0, 0x0, 0x0)