eventfd_read
ret = eventfd_read(fd, &v);
eventfd_read, /* read */
extern int eventfd_read(int, eventfd_t *);