r0 = eventfd2(0x9, 0x80001)
readv(r0, &(0x7f0000000000)=[{&(0x7f0000000080)=""/228, 0xe4}], 0x1)