eventfd_t
eventfd_read(int fd, eventfd_t *valp)
eventfd_write(int fd, eventfd_t val)
eventfd_t v = 0xdeadbeef;
eventfd_t v = 0xdeadbeef;
extern int eventfd_read(int, eventfd_t *);
extern int eventfd_write(int, eventfd_t);