Add eventfd rules

rules/eventfd/src.c

@@ -0,0 +1,21 @@
+#define _GNU_SOURCE
+
+#ifdef __linux__
+#include <sys/eventfd.h>
+
+int f1() {
+  return EFD_CLOEXEC;
+}
+
+int f2() {
+  return EFD_NONBLOCK;
+}
+
+int f3() {
+  return EFD_SEMAPHORE;
+}
+
+int f4(unsigned int initval, int flags) {
+  return eventfd(initval, flags);
+}
+#endif

rules/eventfd/tgt_unsafe.rs

@@ -0,0 +1,19 @@
+#[cfg(target_os = "linux")]
+unsafe fn f1() -> i32 {
+    libc::EFD_CLOEXEC
+}
+
+#[cfg(target_os = "linux")]
+unsafe fn f2() -> i32 {
+    libc::EFD_NONBLOCK
+}
+
+#[cfg(target_os = "linux")]
+unsafe fn f3() -> i32 {
+    libc::EFD_SEMAPHORE
+}
+
+#[cfg(target_os = "linux")]
+unsafe fn f4(a0: u32, a1: i32) -> i32 {
+    libc::eventfd(a0, a1)
+}

rules/src/modules.rs

@@ -40,6 +40,8 @@ pub mod deque_tgt_unsafe;
 pub mod dirent_tgt_unsafe;
 #[path = r#"../errno/tgt_unsafe.rs"#]
 pub mod errno_tgt_unsafe;
+#[path = r#"../eventfd/tgt_unsafe.rs"#]
+pub mod eventfd_tgt_unsafe;
 #[path = r#"../fnmatch/tgt_unsafe.rs"#]
 pub mod fnmatch_tgt_unsafe;
 #[path = r#"../fstream/tgt_refcount.rs"#]