r0 = eventfd2(0x480000, 0x800)
read(r0, &(0x7f0000000200)=""/249, 0xf9)
read(r0, &(0x7f0000000100)=""/170, 0xaa)