diff options
Diffstat (limited to 'litmus/budget.c')
-rw-r--r-- | litmus/budget.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/litmus/budget.c b/litmus/budget.c index 310e9a3d4172..f7712be29adb 100644 --- a/litmus/budget.c +++ b/litmus/budget.c | |||
@@ -5,6 +5,8 @@ | |||
5 | #include <litmus/litmus.h> | 5 | #include <litmus/litmus.h> |
6 | #include <litmus/preempt.h> | 6 | #include <litmus/preempt.h> |
7 | 7 | ||
8 | #include <litmus/budget.h> | ||
9 | |||
8 | struct enforcement_timer { | 10 | struct enforcement_timer { |
9 | /* The enforcement timer is used to accurately police | 11 | /* The enforcement timer is used to accurately police |
10 | * slice budgets. */ | 12 | * slice budgets. */ |