10 typedef uint64_t eventfd_t;
12 #define EFD_SEMAPHORE 1
13 #define EFD_CLOEXEC 02000000
14 #define EFD_NONBLOCK 04000
16 int eventfd(unsigned int, int);
17 int eventfd_read(int, eventfd_t *);
18 int eventfd_write(int, eventfd_t);
25 #endif /* sys/eventfd.h */