1 files changed, 5 insertions, 2 deletions

diff --git a/include/litmus/budget.h b/include/litmus/budget.h
index 559cfcdda61a..062df818de45 100644
--- a/include/litmus/budget.h
+++ b/include/litmus/budget.h
@@ -7,6 +7,9 @@ void update_enforcement_timer(struct task_struct* t);
 
 void prepare_for_next_server(struct task_struct* t,int forced);
 
-#define job_behind(t) (lt_before_eq((t)->rt_param.job_params.deadline, \
-                                    (t)->rt_param.job_params.release))
+#define job_behind(t)\
+        (lt_before((t)->rt_param.job_params.real_release, get_release(t)))
+
+void server_release(struct task_struct *t);
+void task_release(struct task_struct *t);
 #endif