r0 = eventfd2(0x0, 0x0)
close(r0)