diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-09-16 06:03:10 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2014-11-03 21:59:18 -0500 |
commit | 0dc72270017d1362bbb4eb05aa07c1967cc9c30c (patch) | |
tree | b377cdbe033b00857411d2ccc0abb71b98fcfef8 | |
parent | a56ffe502e0f4edc7be9b59533455fdc3c9f86d3 (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 { |