eventfd_write
int eventfd_write(int, eventfd_t);
ATF_REQUIRE(eventfd_write(ctx.efd, 0xcafebabe) == 0);
ATF_REQUIRE(eventfd_write(ctx.efd, 0x0000cafe) == 0);
ATF_REQUIRE(eventfd_write(ctx.efd, 0xbeef0000) == 0);
ATF_REQUIRE(eventfd_write(efd, 1) == 0);
ATF_REQUIRE(eventfd_write(efd, UINT64_MAX - 1) == 0);
eventfd_write(ctx->efd, UINT64_MAX - 1) == -1);
eventfd_write(ctx->efd, UINT64_MAX - 1) == -1);
eventfd_write(ctx->efd, UINT64_MAX - 1) == -1);
ATF_REQUIRE(eventfd_write(ctx.efd, UINT64_MAX - 1) == 0);
ATF_REQUIRE(eventfd_write(ctx.efd, UINT64_MAX - 1) == 0);
ATF_REQUIRE(eventfd_write(ctx.efd, UINT64_MAX - 1) == 0);