diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-12-01 16:48:28 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-12-01 16:57:49 +0100 |
| commit | 683e0abb2b18118a8ad6d1fa56ed5f394924a808 (patch) | |
| tree | 861e94109ea9514ba4e4cc81ef9e54775384836c | |
| parent | spec: Clarify rtems_partition_create() (diff) | |
| download | rtems-central-683e0abb2b18118a8ad6d1fa56ed5f394924a808.tar.bz2 | |
spec: Clarify rtems_partition_delete()
Move the PTCB sentence to the notes to be in line with
rtems_partition_create().
| -rw-r--r-- | spec/rtems/part/if/delete.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/spec/rtems/part/if/delete.yml b/spec/rtems/part/if/delete.yml index 922e19a4..2b4d8f16 100644 --- a/spec/rtems/part/if/delete.yml +++ b/spec/rtems/part/if/delete.yml @@ -15,8 +15,7 @@ definition: description: | This directive deletes the partition specified by the ${.:/params[0]/name} parameter. The partition cannot be deleted if any of its buffers are still - allocated. The ${/glossary/ptcb:/term} for the deleted partition is - reclaimed by RTEMS. + allocated. enabled-by: true index-entries: - delete a partition @@ -31,6 +30,8 @@ notes: | This directive may cause the calling task to be preempted due to an obtain and release of the object allocator mutex. + The ${/glossary/ptcb:/term} for the deleted partition is reclaimed by RTEMS. + The calling task does not have to be the task that created the partition. Any local task that knows the partition identifier can delete the partition. |