aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/reservation.c
diff options
context:
space:
mode:
authorNamhoon Kim <namhoonk@cs.unc.edu>2016-10-12 19:13:30 -0400
committerNamhoon Kim <namhoonk@cs.unc.edu>2016-10-12 19:13:30 -0400
commita53078ec5cc167413bad6dd7ce3c1fc8ec97d39e (patch)
tree00d403a486ddbdb6425fd5fe7141c98c08169417 /litmus/reservation.c
parent2bed3116318647479e14aa22ff762bed16c066b4 (diff)
RTAS 2017 Submission ver.wip-shared-lib2
Diffstat (limited to 'litmus/reservation.c')
-rw-r--r--litmus/reservation.c3
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
12void reservation_init(struct reservation *res) 9void reservation_init(struct reservation *res)