r0 = eventfd2(0x1ff, 0x80001)
read(r0, &(0x7f0000000080)=""/148, 0x94)