diff options
Diffstat (limited to 'litmus/budget.c')
-rw-r--r-- | litmus/budget.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/litmus/budget.c b/litmus/budget.c index f6f5ca81c9d6..310e9a3d4172 100644 --- a/litmus/budget.c +++ b/litmus/budget.c | |||
@@ -3,6 +3,7 @@ | |||
3 | #include <linux/hrtimer.h> | 3 | #include <linux/hrtimer.h> |
4 | 4 | ||
5 | #include <litmus/litmus.h> | 5 | #include <litmus/litmus.h> |
6 | #include <litmus/preempt.h> | ||
6 | 7 | ||
7 | struct enforcement_timer { | 8 | struct enforcement_timer { |
8 | /* The enforcement timer is used to accurately police | 9 | /* The enforcement timer is used to accurately police |
@@ -24,7 +25,7 @@ static enum hrtimer_restart on_enforcement_timeout(struct hrtimer *timer) | |||
24 | TRACE("enforcement timer fired.\n"); | 25 | TRACE("enforcement timer fired.\n"); |
25 | et->armed = 0; | 26 | et->armed = 0; |
26 | /* activate scheduler */ | 27 | /* activate scheduler */ |
27 | set_tsk_need_resched(current); | 28 | litmus_reschedule_local(); |
28 | local_irq_restore(flags); | 29 | local_irq_restore(flags); |
29 | 30 | ||
30 | return HRTIMER_NORESTART; | 31 | return HRTIMER_NORESTART; |