diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-16 08:54:39 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 20:49:01 +0100 |
commit | 92cdff2a74470228e3448ddeb588ea21cc7a5f9f (patch) | |
tree | 0df68b1a4bfb2ad239d6405b1e00589965b671cd | |
parent | spec: Move not-prequalified constraint to top (diff) | |
download | rtems-central-92cdff2a74470228e3448ddeb588ea21cc7a5f9f.tar.bz2 |
spec: Errors of rtems_scheduler_remove_processor()
-rw-r--r-- | spec/rtems/scheduler/if/remove-processor.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/spec/rtems/scheduler/if/remove-processor.yml b/spec/rtems/scheduler/if/remove-processor.yml index dada93e3..0eff88fe 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 |