eventfd_t
int eventfd_read(int fd, eventfd_t *value)
int eventfd_write(int fd, eventfd_t value)
eventfd_read(fds[i].fd, &(eventfd_t){0});
eventfd_t efd_count;
eventfd_t count;
if (uio->uio_resid < sizeof(eventfd_t))
error = uiomove(&count, sizeof(eventfd_t), uio);
eventfd_t count;
if (uio->uio_resid < sizeof(eventfd_t))
error = uiomove(&count, sizeof(eventfd_t), uio);
uio->uio_resid += sizeof(eventfd_t);
int eventfd_read(int fd, eventfd_t *value);
int eventfd_write(int fd, eventfd_t value);