diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-07 07:38:28 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-07 07:38:52 +0200 |
| commit | 95d87f1c816de98e0e59353af05aadaddc7177ab (patch) | |
| tree | 8c043de35d1bb597ce9ba494b80b96ca0a56d0ca /spec | |
| parent | spec: Fix ceiling enqueue validation (diff) | |
| download | rtems-central-95d87f1c816de98e0e59353af05aadaddc7177ab.tar.bz2 | |
spec: Fix semaphore set priority validation
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/rtems/sem/req/set-priority.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/spec/rtems/sem/req/set-priority.yml b/spec/rtems/sem/req/set-priority.yml index ae1eb9d4..8f122e49 100644 --- a/spec/rtems/sem/req/set-priority.yml +++ b/spec/rtems/sem/req/set-priority.yml @@ -72,7 +72,9 @@ post-conditions: CheckPriority( ctx, ctx->other_scheduler_id, PRIO_VERY_HIGH ); } else { CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_VERY_HIGH ); + #if defined(RTEMS_SMP) CheckPriority( ctx, ctx->other_scheduler_id, 0 ); + #endif } } else if ( ( ctx->attribute_set & RTEMS_PRIORITY_CEILING ) != 0 ) { CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_VERY_HIGH ); @@ -89,7 +91,9 @@ post-conditions: test-code: | if ( ( ctx->attribute_set & RTEMS_MULTIPROCESSOR_RESOURCE_SHARING ) != 0 ) { CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_HIGH ); + #if defined(RTEMS_SMP) CheckPriority( ctx, ctx->other_scheduler_id, 0 ); + #endif } else if ( ( ctx->attribute_set & RTEMS_PRIORITY_CEILING ) != 0 ) { CheckPriority( ctx, ctx->runner_scheduler_id, PRIO_HIGH ); CheckNotDefined( ctx, ctx->other_scheduler_id ); |