diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-18 08:40:43 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-19 08:22:34 +0100 |
commit | 96aa248244333648a0f25df207ee7b07da43117f (patch) | |
tree | 0801a281b177ac3eb21f0fa3680f25dc0e179d67 /spec/rtems/task/req | |
parent | spec: Specify RTEMS_SELF (diff) | |
download | rtems-central-96aa248244333648a0f25df207ee7b07da43117f.tar.bz2 |
spec: Specify RTEMS_NO_PRIORITY
Diffstat (limited to 'spec/rtems/task/req')
-rw-r--r-- | spec/rtems/task/req/no-priority.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/spec/rtems/task/req/no-priority.yml b/spec/rtems/task/req/no-priority.yml new file mode 100644 index 00000000..8632f4e6 --- /dev/null +++ b/spec/rtems/task/req/no-priority.yml @@ -0,0 +1,20 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: interface-function + uid: ../if/no-priority +functional-type: function +rationale: | + Some directives with a task priority parameter ignore the priority value + under specific circumstances, for example ${../if/set-priority:/name} may be + used to get the current priority. This constant may be used as a dummy task + priority value to document that the priority parameter is unused. +references: [] +requirement-type: functional +text: | + The ${../if/no-priority} constant shall expand to a constant + expression which evaluates to the value of + ${../if/current-priority:/name}. +type: requirement |