r0 = eventfd2(0x7, 0x801)
readv(r0, &(0x7f0000000040)=[{&(0x7f0000000000)=""/13, 0xd}], 0x1)