1 files changed, 50 insertions, 1 deletions

diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h
index 7b9a90965c25..998762051a6b 100644
--- a/include/litmus/rt_param.h
+++ b/include/litmus/rt_param.h
@@ -62,6 +62,7 @@ typedef enum {
 #define LITMUS_MAX_PRIORITY     512
 #define LITMUS_HIGHEST_PRIORITY   1
 #define LITMUS_LOWEST_PRIORITY    (LITMUS_MAX_PRIORITY - 1)
+#define LITMUS_NO_PRIORITY              UINT_MAX
 
 /* Provide generic comparison macros for userspace,
  * in case that we change this later. */
@@ -71,6 +72,46 @@ typedef enum {
         ((p) >= LITMUS_HIGHEST_PRIORITY &&      \
          (p) <= LITMUS_LOWEST_PRIORITY)
 
+/* reservation support */
+
+typedef enum {
+        PERIODIC_POLLING,
+        SPORADIC_POLLING,
+        TABLE_DRIVEN,
+} reservation_type_t;
+
+struct lt_interval {
+        lt_t start;
+        lt_t end;
+};
+
+#ifndef __KERNEL__
+#define __user
+#endif
+
+struct reservation_config {
+        unsigned int id;
+        lt_t priority;
+        int  cpu;
+
+        union {
+                struct {
+                        lt_t period;
+                        lt_t budget;
+                        lt_t relative_deadline;
+                        lt_t offset;
+                } polling_params;
+
+                struct {
+                        lt_t major_cycle_length;
+                        unsigned int num_intervals;
+                        struct lt_interval __user *intervals;
+                } table_driven_params;
+        };
+};
+
+/* regular sporadic task support */
+
 struct rt_task {
         lt_t            exec_cost;
         lt_t            period;
@@ -165,6 +206,7 @@ struct rt_job {
 };
 
 struct pfair_param;
+struct mc2_task;
 
 /*      RT task parameters for scheduling extensions
  *      These parameters are inherited during clone and therefore must
@@ -246,7 +288,10 @@ struct rt_param {
         volatile int            linked_on;
 
         /* PFAIR/PD^2 state. Allocated on demand. */
-        struct pfair_param*     pfair;
+        union {
+                void *plugin_state;
+                struct pfair_param *pfair;
+        };
 
         /* Fields saved before BE->RT transition.
          */
@@ -275,6 +320,10 @@ struct rt_param {
 
         /* Pointer to the page shared between userspace and kernel. */
         struct control_page * ctrl_page;
+
+        /* Mixed-criticality specific data */
+        struct mc2_task* mc2_data;
+        unsigned long addr_ctrl_page;
 };
 
 #endif