r0 = eventfd2(0xfc, 0x1)
read$eventfd(r0, &(0x7f0000000140), 0x8)