diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-01-26 07:23:00 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-03 06:26:37 +0100 |
commit | f3be1012912b77f3824612016dd4db8a5dc9b396 (patch) | |
tree | d442bc4e3c8488a70d6363b902f96450938b88df /spec | |
parent | spec: Use constraints for timer manager (diff) | |
download | rtems-central-f3be1012912b77f3824612016dd4db8a5dc9b396.tar.bz2 |
spec: Use constraints for partition manager
Diffstat (limited to 'spec')
-rw-r--r-- | spec/rtems/part/if/get-buffer.yml | 16 | ||||
-rw-r--r-- | spec/rtems/part/if/return-buffer.yml | 14 |
2 files changed, 19 insertions, 11 deletions
diff --git a/spec/rtems/part/if/get-buffer.yml b/spec/rtems/part/if/get-buffer.yml index b2b13bd6..379e61c3 100644 --- a/spec/rtems/part/if/get-buffer.yml +++ b/spec/rtems/part/if/get-buffer.yml @@ -14,9 +14,9 @@ definition: return: ${../../status/if/code:/name} variants: [] description: | - This directive allows a buffer to be obtained from the partition specified in - the ${.:/params[0]/name} parameter. The address of the allocated buffer is - returned through the ${.:/params[1]/name} parameter. + This directive allows a buffer to be obtained from the partition specified by + ${.:/params[0]/name}. The address of the allocated buffer is returned + through the ${.:/params[1]/name} parameter. enabled-by: true index-entries: - get buffer from partition @@ -27,10 +27,16 @@ links: uid: header - role: interface-ingroup uid: group +- role: constraint + uid: /constraint/directive-ctx-isr-local +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/directive-no-preempt-local +- role: constraint + uid: /constraint/directive-remote name: rtems_partition_get_buffer notes: | - This directive will not cause the running task to be preempted. - The buffer start alignment is determined by the memory area and buffer size used to create the partition. diff --git a/spec/rtems/part/if/return-buffer.yml b/spec/rtems/part/if/return-buffer.yml index db67b5c9..1c5b706d 100644 --- a/spec/rtems/part/if/return-buffer.yml +++ b/spec/rtems/part/if/return-buffer.yml @@ -25,14 +25,16 @@ links: uid: header - role: interface-ingroup uid: group +- role: constraint + uid: /constraint/directive-ctx-isr-local +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/directive-no-preempt-local +- role: constraint + uid: /constraint/directive-remote name: rtems_partition_return_buffer notes: | - This directive will not cause the running task to be preempted. - - Returning a buffer to a global partition which does not reside on the local - node will generate a request telling the remote node to return the buffer to - the partition. - Returning a buffer multiple times is an error. It will corrupt the internal state of the partition. params: |