aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2014-09-16 06:03:10 -0400
committerNamhoon Kim <namhoonk@cs.unc.edu>2014-11-03 21:59:18 -0500
commit0dc72270017d1362bbb4eb05aa07c1967cc9c30c (patch)
treeb377cdbe033b00857411d2ccc0abb71b98fcfef8
parenta56ffe502e0f4edc7be9b59533455fdc3c9f86d3 (diff)
Reservations: priority should be a lt_t
Rationale: the internal priority point representation is of type lt_t (64 bits), so to enable userspace to specify priorities below (=after) EDF priority points, we need to allow userspace to specify values larger than 2^32.
-rw-r--r--include/litmus/rt_param.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h
index b252cc108a2f..e626bbbe60d5 100644
--- a/include/litmus/rt_param.h
+++ b/include/litmus/rt_param.h
@@ -91,7 +91,7 @@ struct lt_interval {
91 91
92struct reservation_config { 92struct reservation_config {
93 unsigned int id; 93 unsigned int id;
94 unsigned int priority; 94 lt_t priority;
95 int cpu; 95 int cpu;
96 96
97 union { 97 union {