r0 = eventfd(0xffff)
readv(r0, &(0x7f00000003c0)=[{&(0x7f0000000040)=""/239, 0xef}], 0x1)