From e2698a0d3e0b20cf770dbb67cbe6c7643b62f056 Mon Sep 17 00:00:00 2001
From: Stefano Brivio <sbrivio@redhat.com>
Date: Tue, 6 Jun 2023 11:59:16 +0200
Subject: demo: Add mknod.hjson

Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
---
 demo/mknod.hjson | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 demo/mknod.hjson

(limited to 'demo')

diff --git a/demo/mknod.hjson b/demo/mknod.hjson
new file mode 100644
index 0000000..b61fb7a
--- /dev/null
+++ b/demo/mknod.hjson
@@ -0,0 +1,42 @@
+[
+  {
+    "match": [ /* Giuseppe's example */
+      { "mknodat": { "path": { "tag": "path" }, "mode": 8630, "major": 1, "minor": { "value": { "in": [ 3, 5, 7, 8, 9 ] }, "tag": "minor" } } }
+    ],
+    "call": {
+      "mknod": { "path": { "tag": { "get": "path" } }, "mode": 8630, "major": 1, "minor": 7 /* { "tag": { "get": "minor" } }*/ },
+      "ret": "x"/*,
+      "context": { "user": "init", "mnt": "caller" }*/
+    },
+    "return": { "tag": "x" }
+  }
+]
+
+/*
+ * INTFLAGS, LONGFLAGS, U32FLAGS
+ *
+ * "field": { "in": [ "ipc", "mount", "uts" ] }
+ *   flags & set
+ *   !!(flags & (ipc | mount | ns))
+ *
+ * "field": { "all": [ "ipc", "mount", "uts" ] }
+ *   flags & set == set
+ *   flags & (ipc | mount | ns) == (ipc | mount | ns)
+ *
+ * "field": { "not": [ "ipc", "mount", "uts" ] }
+ *   !(flags & set)
+ *
+ * "field": { "ipc": false, "mount": true, "uts": false }
+ *   flags & set == set
+ *   !(flags & ipc) && (flags & mount) && !(flags & utc)
+ *
+ * "field": { "ipc" }
+ *   flags == ipc
+ *
+ * INTMASK
+ *   value = (target value & known values)
+ *
+ * INT, LONG, U32
+ *   "arg": { "in": [ 0, 1 ] }
+ *   arg == 0 || arg == 1
+ */
-- 
cgit v1.2.3