r0 = eventfd2(0x2, 0x1)
readv(r0, &(0x7f0000001840)=[{&(0x7f0000000540)=""/187, 0xbb}], 0x1)