aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2014-09-16 06:03:10 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2014-09-16 06:03:10 -0400
commit90bbb7e232106fd2a30a410509ce6e531c4ee6ba (patch)
treedde437a1e7d66bdc99f19473de27cc9c00a2d791
parent39817a0abbaadd57117a7ca816f5c5c247eba11e (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 {