1 files changed, 1 insertions, 41 deletions

diff --git a/include/litmus/budget.h b/include/litmus/budget.h
index 4f1bdd101a9e..8e426a71f03d 100644
--- a/include/litmus/budget.h
+++ b/include/litmus/budget.h
@@ -4,47 +4,6 @@
 #include <linux/hrtimer.h>
 #include <linux/semaphore.h>
 
-#define budget_exhausted(t) \
-        (get_exec_time(t) >= get_exec_cost(t))
-
-#define budget_remaining(t) \
-        ((!budget_exhausted(t)) ? (get_exec_cost(t) - get_exec_time(t)) : 0)
-
-#define budget_enforced(t) (\
-        tsk_rt(t)->task_params.budget_policy != NO_ENFORCEMENT)
-
-#define budget_precisely_tracked(t) (\
-        tsk_rt(t)->task_params.budget_policy == PRECISE_ENFORCEMENT || \
-        tsk_rt(t)->task_params.budget_signal_policy == PRECISE_SIGNALS)
-
-#define budget_quantum_tracked(t) (\
-        tsk_rt(t)->task_params.budget_policy == QUANTUM_ENFORCEMENT || \
-        tsk_rt(t)->task_params.budget_signal_policy == QUANTUM_SIGNALS)
-
-#define budget_signalled(t) (\
-        tsk_rt(t)->task_params.budget_signal_policy != NO_SIGNALS)
-
-#define budget_precisely_signalled(t) (\
-        tsk_rt(t)->task_params.budget_policy == PRECISE_SIGNALS)
-
-#define bt_flag_is_set(t, flag_nr) (\
-        test_bit(flag_nr, &tsk_rt(t)->budget.flags))
-
-#define bt_flag_test_and_set(t, flag_nr) (\
-        test_and_set_bit(flag_nr, &tsk_rt(t)->budget.flags))
-
-#define bt_flag_set(t, flag_nr) (\
-        set_bit(flag_nr, &tsk_rt(t)->budget.flags))
-
-#define bt_flag_clear(t, flag_nr) (\
-        clear_bit(flag_nr, &tsk_rt(t)->budget.flags))
-
-#define bt_flags_reset(t) (\
-        tsk_rt(t)->budget.flags = 0)
-
-#define requeue_preempted_job(t) \
-        (t && (!budget_exhausted(t) || !budget_enforced(t)))
-
 struct enforcement_timer
 {
         raw_spinlock_t lock;
@@ -115,6 +74,7 @@ void sobliv_on_sleep(struct task_struct* t);
 #define sobliv_on_exit  simple_on_exit
 void sobliv_on_inherit(struct task_struct* t, struct task_struct* prio_inh);
 void sobliv_on_disinherit(struct task_struct* t, struct task_struct* prio_inh);
+void sobliv_revaluate_task(struct task_struct* t);
 
 
 void init_budget_tracker(struct budget_tracker* bt,