diff --git a/include/sys/eventfd.h b/include/sys/eventfd.h
index 45a6753bb3..6ed305a49f 100644
--- a/include/sys/eventfd.h
+++ b/include/sys/eventfd.h
@@ -42,7 +42,11 @@
 
 /* Type for event counter */
 
+#ifdef __INT64_DEFINED
+typedef uint64_t eventfd_t;
+#else
 typedef uint32_t eventfd_t;
+#endif
 
 /****************************************************************************
  * Public Function Prototypes