eventfd_write
if (eventfd_write(fd, 2) != 0) {
if (eventfd_write(fd, 3) != 0) {
ret = eventfd_write(fd, ULLONG_MAX);
eventfd_write, /* write */
extern int eventfd_write(int, eventfd_t);