EDF: support priority boosting

While we are at it, simplify edf_higher_prio() a bit.

2 files changed, 10 insertions, 0 deletions

diff --git a/include/litmus/litmus.h b/include/litmus/litmus.h
index 8971b25f23e6..b38d39a7461d 100644
--- a/include/litmus/litmus.h
+++ b/include/litmus/litmus.h
@@ -54,6 +54,9 @@ 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)
 
+#define is_priority_boosted(t)  (tsk_rt(t)->priority_boosted)
+#define get_boost_start(t)      (tsk_rt(t)->boost_start_time)
+
 inline static int budget_exhausted(struct task_struct* t)
 {
         return get_exec_time(t) >= get_exec_cost(t);
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h
index a7a183f34a80..5de422c742f6 100644
--- a/include/litmus/rt_param.h
+++ b/include/litmus/rt_param.h
@@ -108,6 +108,13 @@ struct rt_param {
         /* is the task present? (true if it can be scheduled) */
         unsigned int            present:1;
 
+#ifdef CONFIG_LITMUS_LOCKING
+        /* Is the task being priority-boosted by a locking protocol? */
+        unsigned int            priority_boosted:1;
+        /* If so, when did this start? */
+        lt_t                    boost_start_time;
+#endif
+
         /* user controlled parameters */
         struct rt_task          task_params;