1 files changed, 21 insertions, 0 deletions

diff --git a/include/internal.h b/include/internal.h
new file mode 100644
index 0000000..25e1573
--- /dev/null
+++ b/include/internal.h
@@ -0,0 +1,21 @@
+#ifndef INTERNAL_H
+#define INTERNAL_H
+
+/* low level operations, not intended for API use */
+
+/* prepare a real-time task */
+typedef int (*rt_setup_fn_t)(int pid, void* arg);
+int __launch_rt_task(rt_fn_t rt_prog, void *rt_arg, 
+                     rt_setup_fn_t setup, void* setup_arg);
+
+#define check(str)       \
+        if (ret == -1) { \
+                perror(str); \
+                fprintf(stderr, \
+                        "Warning: Could not initialize LITMUS^RT, " \
+                        "%s failed.\n", str                         \
+                        ); \
+        }
+
+
+#endif