#endif
#include <stdint.h>
+#include <fcntl.h>
typedef uint64_t eventfd_t;
#define EFD_SEMAPHORE 1
-#define EFD_CLOEXEC 02000000
-#define EFD_NONBLOCK 04000
+#define EFD_CLOEXEC O_CLOEXEC
+#define EFD_NONBLOCK O_NONBLOCK
int eventfd(unsigned int, int);
int eventfd_read(int, eventfd_t *);