r0 = syz_open_dev$evdev(&(0x7f0000000200), 0x0, 0x0) readv(r0, &(0x7f0000000180)=[{&(0x7f0000000000)=""/12, 0xc}], 0x1)