diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-06-26 04:47:54 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-06-26 04:47:54 -0400 |
| commit | e4b2da0cecd9a43be71430b1f8e2fbbde07ea6ec (patch) | |
| tree | e2432b2f905ea89e8529a6c90a17c79965923b67 /bin | |
| parent | 6e1ceb5ab56005fd343f52bbb8d2879e2c1493bd (diff) | |
Make use of kernel-provided FP macros
Use the kernel's notion of fixed priorities.
Also, add some clarifying comments to the
task setup wrappers.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/rtspin.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 87c178a..f0a477d 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
| @@ -169,7 +169,7 @@ int main(int argc, char** argv) | |||
| 169 | lt_t wcet; | 169 | lt_t wcet; |
| 170 | lt_t period; | 170 | lt_t period; |
| 171 | double wcet_ms, period_ms; | 171 | double wcet_ms, period_ms; |
| 172 | unsigned int priority = LITMUS_MIN_PRIORITY; | 172 | unsigned int priority = LITMUS_LOWEST_PRIORITY; |
| 173 | int migrate = 0; | 173 | int migrate = 0; |
| 174 | int cpu = 0; | 174 | int cpu = 0; |
| 175 | int opt; | 175 | int opt; |
| @@ -197,7 +197,7 @@ int main(int argc, char** argv) | |||
| 197 | break; | 197 | break; |
| 198 | case 'q': | 198 | case 'q': |
| 199 | priority = atoi(optarg); | 199 | priority = atoi(optarg); |
| 200 | if (priority == 0 || priority > LITMUS_MAX_PRIORITY) | 200 | if (!litmus_is_valid_fixed_prio(priority)) |
| 201 | usage("Invalid priority."); | 201 | usage("Invalid priority."); |
| 202 | break; | 202 | break; |
| 203 | case 'c': | 203 | case 'c': |
