Lines Matching defs:efd_value

138 	eventfd_t efd_value;
144 ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
147 ATF_REQUIRE(efd_value == 0xcafebabe);
155 ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
158 ATF_REQUIRE(efd_value == 0xbeefcafe);
228 eventfd_t efd_value;
234 ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
235 ATF_REQUIRE(efd_value == 1);
237 ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
238 ATF_REQUIRE(efd_value == 1);
240 ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
241 ATF_REQUIRE(efd_value == 1);
245 eventfd_read(efd, &efd_value) == -1);
251 ATF_REQUIRE(eventfd_read(efd, &efd_value) == 0);
252 ATF_REQUIRE(efd_value == 1);
256 eventfd_read(efd, &efd_value) == -1);
374 eventfd_t efd_value;
383 eventfd_read(ctx->efd, &efd_value) == -1);
422 eventfd_read(ctx->efd, &efd_value) == -1);
457 eventfd_read(ctx->efd, &efd_value) == -1);
505 eventfd_t efd_value;
550 ATF_REQUIRE(eventfd_read(ctx.efd, &efd_value) == 0);
551 ATF_REQUIRE(efd_value == UINT64_MAX - 1);
571 efd_value = UINT64_MAX - 1;
593 ATF_REQUIRE(eventfd_read(ctx.efd, &efd_value) == 0);
594 ATF_REQUIRE(efd_value == UINT64_MAX - 1);
614 efd_value = UINT64_MAX - 1;
636 ATF_REQUIRE(eventfd_read(ctx.efd, &efd_value) == 0);
637 ATF_REQUIRE(efd_value == UINT64_MAX - 1);
657 eventfd_t efd_value;
664 ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
665 ATF_REQUIRE(efd_value == 1);
674 ATF_REQUIRE_ERRNO(EBADF, eventfd_read(ctx->efd, &efd_value) == -1);
750 eventfd_t efd_value[2];
756 read(efd, efd_value, sizeof(efd_value[0]) - 1) == -1);
758 efd_value[0] = 0xdeadbeef;
759 efd_value[1] = 0xdeadbeef;
760 ATF_REQUIRE(read(efd, efd_value, sizeof(efd_value)) ==
761 sizeof(efd_value[0]));
762 ATF_REQUIRE(efd_value[0] == 1);
763 ATF_REQUIRE(efd_value[1] == 0xdeadbeef);
766 write(efd, efd_value, sizeof(efd_value[0]) - 1) == -1);
767 ATF_REQUIRE(write(efd, efd_value, sizeof(efd_value)) ==
768 sizeof(efd_value[0]));
770 ATF_REQUIRE(read(efd, efd_value, sizeof(efd_value)) ==
771 sizeof(efd_value[0]));
772 ATF_REQUIRE(efd_value[0] == 1);
773 ATF_REQUIRE(efd_value[1] == 0xdeadbeef);