r0 = eventfd2(0x7, 0x0)
read(r0, &(0x7f0000001600)=""/126, 0x7e)