diff options
| author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-10-12 19:13:30 -0400 |
|---|---|---|
| committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-10-12 19:13:30 -0400 |
| commit | a53078ec5cc167413bad6dd7ce3c1fc8ec97d39e (patch) | |
| tree | 00d403a486ddbdb6425fd5fe7141c98c08169417 /litmus/reservation.c | |
| parent | 2bed3116318647479e14aa22ff762bed16c066b4 (diff) | |
RTAS 2017 Submission ver.wip-shared-lib2
Diffstat (limited to 'litmus/reservation.c')
| -rw-r--r-- | litmus/reservation.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/litmus/reservation.c b/litmus/reservation.c index cdda89d4208f..5eee01ae3647 100644 --- a/litmus/reservation.c +++ b/litmus/reservation.c | |||
| @@ -4,9 +4,6 @@ | |||
| 4 | #include <litmus/litmus.h> | 4 | #include <litmus/litmus.h> |
| 5 | #include <litmus/reservation.h> | 5 | #include <litmus/reservation.h> |
| 6 | 6 | ||
| 7 | #define TRACE(fmt, args...) do {} while (false) | ||
| 8 | #define TRACE_TASK(fmt, args...) do {} while (false) | ||
| 9 | |||
| 10 | #define BUDGET_ENFORCEMENT_AT_C 0 | 7 | #define BUDGET_ENFORCEMENT_AT_C 0 |
| 11 | 8 | ||
| 12 | void reservation_init(struct reservation *res) | 9 | void reservation_init(struct reservation *res) |