11 typedef uint64_t eventfd_t;
13 #define EFD_SEMAPHORE 1
14 #define EFD_CLOEXEC O_CLOEXEC
15 #define EFD_NONBLOCK O_NONBLOCK
17 int eventfd(unsigned int, int);
18 int eventfd_read(int, eventfd_t *);
19 int eventfd_write(int, eventfd_t);
26 #endif /* sys/eventfd.h */