r0 = syz_open_dev$vcsa(&(0x7f0000000100), 0x6, 0x0)
readv(r0, &(0x7f0000000440)=[{&(0x7f0000000140)=""/133, 0x85}, {&(0x7f0000000240)=""/219, 0xdb}, {&(0x7f0000000340)=""/197, 0xc5}], 0x3)