diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-09-16 06:03:10 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-09-16 06:03:10 -0400 |
commit | 90bbb7e232106fd2a30a410509ce6e531c4ee6ba (patch) | |
tree | dde437a1e7d66bdc99f19473de27cc9c00a2d791 | |
parent | 39817a0abbaadd57117a7ca816f5c5c247eba11e (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.h | 2 |
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 | ||
92 | struct reservation_config { | 92 | struct 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 { |