[rtems-central commit] spec: Errors of rtems_scheduler_remove_processor()

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Nov 16 08:54:39 2021 +0100

spec: Errors of rtems_scheduler_remove_processor()

---

 spec/rtems/scheduler/if/remove-processor.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/spec/rtems/scheduler/if/remove-processor.yml b/spec/rtems/scheduler/if/remove-processor.yml
index dada93e..0eff88f 100644
--- a/spec/rtems/scheduler/if/remove-processor.yml
+++ b/spec/rtems/scheduler/if/remove-processor.yml
@@ -56,8 +56,12 @@ return:
       The processor was not owned by the scheduler.
     value: ${../../status/if/invalid-number:/name}
   - description: |
-      The set of processors owned by the scheduler would have been empty after
-      the processor removal and there was at least one non-idle task that used
-      this scheduler as its ${/glossary/scheduler-home:/term}.
+      The processor was required by at least one non-idle task that used the
+      scheduler as its ${/glossary/scheduler-home:/term}.
+    value: ${../../status/if/resource-in-use:/name}
+  - description: |
+      The processor was the last processor owned by the scheduler and there was
+      at least one task that used the scheduler as a
+      ${/glossary/scheduler-helping:/term}.
     value: ${../../status/if/resource-in-use:/name}
 type: interface