1 files changed, 21 insertions, 0 deletions

diff --git a/include/litmus/litmus.h b/include/litmus/litmus.h
index 246483783fc0..3203a0809f96 100644
--- a/include/litmus/litmus.h
+++ b/include/litmus/litmus.h
@@ -54,6 +54,12 @@ void litmus_exit_task(struct task_struct *tsk);
 #define get_release(t)          (tsk_rt(t)->job_params.release)
 #define get_class(t)            (tsk_rt(t)->task_params.cls)
 
+#ifdef CONFIG_PLUGIN_EDZL
+#define get_zerolaxity(t)   (tsk_rt(t)->job_params.zero_laxity)
+#define set_zerolaxity(t)   (tsk_rt(t)->job_params.zero_laxity=1)
+#define clear_zerolaxity(t) (tsk_rt(t)->job_params.zero_laxity=0)
+#endif
+
 inline static int budget_exhausted(struct task_struct* t)
 {
         return get_exec_time(t) >= get_exec_cost(t);
@@ -86,6 +92,21 @@ static inline lt_t litmus_clock(void)
         return ktime_to_ns(ktime_get());
 }
 
+#ifdef CONFIG_PLUGIN_EDZL
+inline static lt_t laxity_remaining(struct task_struct* t)
+{
+    lt_t now = litmus_clock();
+    lt_t remaining = budget_remaining(t);
+    lt_t deadline = get_deadline(t);
+    
+    if(lt_before(now + remaining, deadline))
+        return (deadline - (now + remaining));
+    else
+        return 0;
+}
+#endif
+
+
 /* A macro to convert from nanoseconds to ktime_t. */
 #define ns_to_ktime(t)          ktime_add_ns(ktime_set(0, 0), t)