r0 = syz_open_dev$vcsa(&(0x7f0000000040), 0x82d5, 0x0)
readv(r0, &(0x7f0000000300)=[{&(0x7f0000000100)=""/217, 0xd9}, {&(0x7f0000000200)=""/225, 0xe1}], 0x2)
read(r0, &(0x7f0000000b80)=""/115, 0x73)