Home | History | Annotate | Download | only in sys

Lines Matching refs:UINT64_MAX

329 	ATF_REQUIRE(eventfd_write(efd, UINT64_MAX - 1) == 0);
360 	ATF_REQUIRE(kev[0].data == (int64_t)(UINT64_MAX - 1));
403 	    eventfd_write(ctx->efd, UINT64_MAX - 1) == -1);
437 	    eventfd_write(ctx->efd, UINT64_MAX - 1) == -1);
466 	ATF_REQUIRE(kev[0].data == (int64_t)(UINT64_MAX - 1));
476 	    eventfd_write(ctx->efd, UINT64_MAX - 1) == -1);
529 	ATF_REQUIRE(eventfd_write(ctx.efd, UINT64_MAX - 1) == 0);
551 	ATF_REQUIRE(efd_value == UINT64_MAX - 1);
571 	efd_value = UINT64_MAX - 1;
572 	ATF_REQUIRE(eventfd_write(ctx.efd, UINT64_MAX - 1) == 0);
594 	ATF_REQUIRE(efd_value == UINT64_MAX - 1);
614 	efd_value = UINT64_MAX - 1;
615 	ATF_REQUIRE(eventfd_write(ctx.efd, UINT64_MAX - 1) == 0);
637 	ATF_REQUIRE(efd_value == UINT64_MAX - 1);