diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-01-11 04:26:33 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-01-11 04:26:33 -0500 |
| commit | 102b50373d656e42abbd1c953ce908e52f6e8706 (patch) | |
| tree | 31f5b9accd4b8b1d3463300f8cc7b6b2fe55d0ce /include | |
| parent | 642049ba7d30b24fb9927a22d44d6b84139668dc (diff) | |
rt_launch: add support for -q <priority>
This mirrors the option in rtspin.
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/litmus.h b/include/litmus.h index 3777088..2b6a1dd 100644 --- a/include/litmus.h +++ b/include/litmus.h | |||
| @@ -98,9 +98,9 @@ void exit_litmus(void); | |||
| 98 | typedef int (*rt_fn_t)(void*); | 98 | typedef int (*rt_fn_t)(void*); |
| 99 | 99 | ||
| 100 | /* These two functions configure the RT task to use enforced exe budgets */ | 100 | /* These two functions configure the RT task to use enforced exe budgets */ |
| 101 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period); | 101 | int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, lt_t wcet, lt_t period, unsigned int prio); |
| 102 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, | 102 | int __create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, lt_t wcet, |
| 103 | int period, task_class_t cls); | 103 | lt_t period, unsigned int priority, task_class_t cls); |
| 104 | 104 | ||
| 105 | /* per-task modes */ | 105 | /* per-task modes */ |
| 106 | enum rt_task_mode_t { | 106 | enum rt_task_mode_t { |