[#61993] Support fifo-related ioctls

antmicro · Sep 16, 2024 · 1841ae4 · 1841ae4
1 parent 366db8f
commit 1841ae4
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/c_lib/wasi_ext_lib.h b/c_lib/wasi_ext_lib.h
@@ -43,6 +43,12 @@
 #define WGETRH _IO(2, 1)
 #define WGETRB _IO(2, 2)
 
+// FIFO does not have a major, 0 is a placeholder, it might potentially conflict
+// with memory device driver
+#define FIFOSKERNW _IOW(0, 0, 4)
+#define FIFOSKERNR _IOW(0, 1, 4)
+#define FIFOSCLOSERM _IOW(0, 2, 4)
+
 // Extended fs_fdflags
 #define WASI_EXT_FDFLAG_CTRL_BIT ((__wasi_fdflags_t)0x0020)
 #define WASI_EXT_FDFLAG_MASK ((__wasi_fdflags_t)0xffc0)

diff --git a/src/lib.rs b/src/lib.rs
@@ -62,6 +62,10 @@ pub const WGETGS: c_ulong = 2147746304;
 pub const WGETRH: c_ulong = 513;
 pub const WGETRB: c_ulong = 514;
 
+pub const FIFOSKERNW: c_ulong = 1074003968;
+pub const FIFOSKERNR: c_ulong = 1074003969;
+pub const FIFOSCLOSERM: c_ulong = 1074003970;
+
 pub use wasi::SIGNAL_KILL;
 
 type ExitCode = i32;