eventfd_read
int eventfd_read(int, eventfd_t *);
ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
eventfd_read(efd, &efd_value) == -1);
ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
eventfd_read(efd, &efd_value) == -1);
eventfd_read(ctx->efd, &efd_value) == -1);
eventfd_read(ctx->efd, &efd_value) == -1);
eventfd_read(ctx->efd, &efd_value) == -1);
ATF_REQUIRE(eventfd_read(ctx.efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(ctx.efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(ctx.efd, &efd_value) == 0);
ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
ATF_REQUIRE_ERRNO(EBADF, eventfd_read(ctx->efd, &efd_value) == -1);