From 54e1c27e43946ed4f1f95711a6e9312ef35e8cf2 Mon Sep 17 00:00:00 2001
From: Xiang Xiao <xiaoxiang@xiaomi.com>
Date: Sat, 18 Dec 2021 21:37:58 +0800
Subject: [PATCH] eventfd: Typedef eventfd_t to uint64_t on the supported
 platform

to compliant with Linux implementation as much as possible

Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
---
 include/sys/eventfd.h | 4 ++++
 1 file changed, 4 insertions(+)

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