r0 = eventfd(0x20) readv(r0, &(0x7f00000011c0)=[{0x0}, {&(0x7f0000000140)=""/27, 0x1b}], 0x2)