[rtems-central commit] spec: Update semaphore specification

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    b7c39f7387407c34000ac0578d3540deb65e25f2
Changeset: http://git.rtems.org/rtems-central/commit/?id=b7c39f7387407c34000ac0578d3540deb65e25f2

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Mar 16 14:37:11 2021 +0100

spec: Update semaphore specification

---

 spec/rtems/sem/constraint/create-mrsp-not-locked.yml | 11 -----------
 spec/rtems/sem/if/create.yml                         |  2 --
 spec/rtems/sem/if/set-priority.yml                   |  3 ++-
 3 files changed, 2 insertions(+), 14 deletions(-)

diff --git a/spec/rtems/sem/constraint/create-mrsp-not-locked.yml b/spec/rtems/sem/constraint/create-mrsp-not-locked.yml
deleted file mode 100644
index b582aa2..0000000
--- a/spec/rtems/sem/constraint/create-mrsp-not-locked.yml
+++ /dev/null
@@ -1,11 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-links: []
-rationale: null
-scope: user
-text: |
-  When a semaphore using the MrsP locking protocol is created, the initial
-  count shall be exactly one.
-type: constraint
diff --git a/spec/rtems/sem/if/create.yml b/spec/rtems/sem/if/create.yml
index 86abbeb..e16db84 100644
--- a/spec/rtems/sem/if/create.yml
+++ b/spec/rtems/sem/if/create.yml
@@ -132,8 +132,6 @@ links:
 - role: constraint
   uid: /constraint/mp-send
 - role: constraint
-  uid: ../constraint/create-mrsp-not-locked
-- role: constraint
   uid: ../constraint/max
 - role: constraint
   uid: /constraint/obj-unlimited-alloc
diff --git a/spec/rtems/sem/if/set-priority.yml b/spec/rtems/sem/if/set-priority.yml
index 5b76bd7..3b5569a 100644
--- a/spec/rtems/sem/if/set-priority.yml
+++ b/spec/rtems/sem/if/set-priority.yml
@@ -84,7 +84,8 @@ notes: |
         sc = rtems_semaphore_create(
           rtems_build_name( 'M', 'R', 'S', 'P' ),
           1,
-          RTEMS_BINARY_SEMAPHORE | RTEMS_MULTIPROCESSOR_RESOURCE_SHARING,
+          RTEMS_BINARY_SEMAPHORE | RTEMS_PRIORITY |
+            RTEMS_MULTIPROCESSOR_RESOURCE_SHARING,
           1,
           &semaphore_id
         );