diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-06 18:11:33 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-06 19:11:47 +0200 |
commit | 129eb365e030f6587ff5a4efc0f7441ae227c094 (patch) | |
tree | 87c3176271ae793104b19000f5fd92b22b55e68b /spec/score | |
parent | validation: Fix N/A pre-condition handling (diff) | |
download | rtems-central-129eb365e030f6587ff5a4efc0f7441ae227c094.tar.bz2 |
spec: Fix ceiling enqueue validation
Diffstat (limited to 'spec/score')
-rw-r--r-- | spec/score/tq/req/enqueue-ceiling.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/spec/score/tq/req/enqueue-ceiling.yml b/spec/score/tq/req/enqueue-ceiling.yml index 6b136894..090f8e1b 100644 --- a/spec/score/tq/req/enqueue-ceiling.yml +++ b/spec/score/tq/req/enqueue-ceiling.yml @@ -205,7 +205,10 @@ test-action: | TQSchedulerRecordStop( ctx->tq_ctx ); TQSurrender( ctx->tq_ctx ); - if ( ctx->other_before || ctx->other_after ) { + if ( + ctx->priority != PRIO_PSEUDO_ISR && + ( ctx->other_before || ctx->other_after ) + ) { TQSend( ctx->tq_ctx, TQ_BLOCKER_B, TQ_EVENT_MUTEX_B_RELEASE ); TQSynchronizeRunner(); } |