EDF: support priority boosting

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

1 files changed, 3 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);