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