r0 = eventfd2(0x7, 0x80001)
readv(r0, &(0x7f00000014c0)=[{&(0x7f00000012c0)=""/217, 0xd9}], 0x1)