1 files changed, 3 insertions, 24 deletions

diff --git a/extra.h b/extra.h
index 30940df..0d700ab 100644
--- a/extra.h
+++ b/extra.h
@@ -29,7 +29,7 @@ extern int sched_getcpu();
 #include <sys/syscall.h>
 #endif
 
-#define LITMUS 0
+#define LITMUS 1
 #define MC2 0
 #define MMDC_PROF 0
 
@@ -200,20 +200,6 @@ static void _rt_load_params_itrl(int argc, char **argv) {
         perror("Unable to migrate to specified CPU"); \
         exit(1); \
     } \
-    struct reservation_config res; \
-    res.id = gettid(); \
-    res.cpu = cpu; \
-    res.priority = LITMUS_HIGHEST_PRIORITY; \
-    /* we take over half the CPU time (these are ns) */ \
-    res.polling_params.budget = ms2ns(3000); \
-    res.polling_params.period = ms2ns(3000); \
-    res.polling_params.offset = 0; \
-    res.polling_params.relative_deadline = ms2ns(3000); \
-    /* Not 100% sure that we should use periodic polling */ \
-    if (reservation_create(PERIODIC_POLLING, &res) < 0) { \
-        perror("Unable to create reservation"); \
-        exit(1); \
-    } \
     struct rt_task rt_param; \
     init_rt_task_param(&rt_param); \
     /* Supposedly the next two parameters are irrelevant when reservations are enabled, but I'm leaving them anyway... */ \
@@ -223,7 +209,7 @@ static void _rt_load_params_itrl(int argc, char **argv) {
     rt_param.cls = RT_CLASS_HARD; \
     rt_param.release_policy = TASK_PERIODIC; \
     rt_param.budget_policy = NO_ENFORCEMENT; \
-    rt_param.cpu = cpu; \
+    rt_param.cpu = _rt_core; \
     if (set_rt_task_param(gettid(), &rt_param) < 0) { \
         perror("Unable to set real-time parameters"); \
         exit(1); \
@@ -244,13 +230,7 @@ static void _rt_load_params_itrl(int argc, char **argv) {
 
 #if MC2
 #define MC2_SETUP \
-    struct mc2_task mc2_param; \
-    mc2_param.res_id = gettid(); \
-    mc2_param.crit = CRIT_LEVEL_A; \
-    if (set_mc2_task_param(gettid(), &mc2_param) < 0) { \
-        perror("Unable to set MC^2 task params"); \
-        exit(1); \
-    } \
+
     set_page_color(rt_param.cpu);
 #else
 #define MC2_SETUP
@@ -261,7 +241,6 @@ static void _rt_load_params_itrl(int argc, char **argv) {
         perror("Unable to become a real-time task"); \
         exit(1); \
     } \
-    reservation_destroy(gettid(), rt_param.cpu);
 
 #if __arm__
 // On ARM, manually flush the cache