diff options
Diffstat (limited to 'spec/rtems/timer/if/initiate-server.yml')
-rw-r--r-- | spec/rtems/timer/if/initiate-server.yml | 47 |
1 files changed, 39 insertions, 8 deletions
diff --git a/spec/rtems/timer/if/initiate-server.yml b/spec/rtems/timer/if/initiate-server.yml index 78b99e83..0f58d53d 100644 --- a/spec/rtems/timer/if/initiate-server.yml +++ b/spec/rtems/timer/if/initiate-server.yml @@ -1,5 +1,6 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause -brief: '%' +brief: | + Initiates the Timer Server. copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) @@ -13,9 +14,13 @@ definition: - ${../../attr/if/attribute:/name} ${.:/params[2]/name} return: ${../../status/if/code:/name} variants: [] -description: null +description: | + This directive initiates the Timer Server task. This task is responsible for + executing all timers initiated via the ${server-fire-after:/name} or + ${server-fire-when:/name} directives. enabled-by: true -index-entries: [] +index-entries: +- initiate the Timer Server interface-type: function links: - role: interface-placement @@ -23,18 +28,44 @@ links: - role: interface-ingroup uid: group name: rtems_timer_initiate_server -notes: null +notes: | + This directive may cause the calling task to be preempted due to an obtain + and release of the object allocator mutex. + + The Timer Server task is created using the ${../../task/if/create:/name} + directive and must be accounted for when configuring the system. params: -- description: '%' +- description: is the task priority. dir: null name: priority -- description: '%' +- description: is the task stack size in bytes. dir: null name: stack_size -- description: '%' +- description: is the task attribute set. dir: null name: attribute_set return: return: null - return-values: [] + return-values: + - description: | + The requested operation was successful. + value: ${../../status/if/successful:/name} + - description: | + The Timer Server was already initiated. + value: ${../../status/if/incorrect-state:/name} + - description: | + The task priority was invalid. + value: ${../../status/if/invalid-priority:/name} + - description: | + There was no inactive task object available to create the Timer Server + task. + value: ${../../status/if/too-many:/name} + - description: | + There was not enough memory to allocate the task storage area. The task + storage area contains the task stack, the thread-local storage, and the + floating point context. + value: ${../../status/if/unsatisfied:/name} + - description: | + One of the task create extensions failed to create the Timer Server task. + value: ${../../status/if/unsatisfied:/name} type: interface |