r0 = eventfd(0xc1e7)
read$eventfd(r0, &(0x7f0000000400), 0x8)