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 /litmus/sched_pres.c | |
| 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.
Diffstat (limited to 'litmus/sched_pres.c')
0 files changed, 0 insertions, 0 deletions