cooker, seitan: add sched_setscheduler

The sched_setscheduler requires to set the pid of the process we want to
change the priority, this adds a new metadata for getting the target pid
at runtime.

Add a couple of syscalls for the scheduler in the string parsing.

Signed-off-by: Alice Frosi <afrosi@redhat.com>

1 files changed, 24 insertions, 0 deletions

diff --git a/demo/scheduler.hjson b/demo/scheduler.hjson
new file mode 100644
index 0000000..29c7d31
--- /dev/null
+++ b/demo/scheduler.hjson
@@ -0,0 +1,24 @@
+[
+  {
+    "match": [
+      {
+        "sched_setscheduler": {
+          "policy": "SCHED_FIFO",
+          "param": { "priority": 1 }
+        }
+      }
+    ],
+    "call": [
+      {
+        "sched_setscheduler": {
+          "pid": { "caller": "pid" },
+          "policy": "SCHED_FIFO",
+          "param": { "priority": 1 }
+        }
+      }
+    ],
+    "return": {
+      "value": 0
+    }
+  }
+]