eventfd_t
eventfd_read(int efd, eventfd_t *valp)
eventfd_t val;
eventfd_write(int efd, eventfd_t val)
eventfd_t return_value;
if (uio->uio_resid < sizeof(eventfd_t)) {
eventfd_t write_value;
if (uio->uio_resid < sizeof(eventfd_t)) {
*(int *)data = efd->efd_val != 0 ? sizeof(eventfd_t) : 0;
st->st_blksize = sizeof(eventfd_t);
rv = (eventfd_t)kn->kn_data > 0;
rv = (eventfd_t)kn->kn_data < EVENTFD_MAXVAL;
eventfd_t efd_val;
int eventfd_read(int, eventfd_t *);
int eventfd_write(int, eventfd_t);
eventfd_t efd_value;
eventfd_t efd_value;
eventfd_t efd_value;
eventfd_t efd_value;
eventfd_t efd_value;
eventfd_t efd_value[2];
ATF_REQUIRE(val == sizeof(eventfd_t));