[rtems-central commit] spec: Clarify rtems_partition_delete()
Sebastian Huber
sebh at rtems.org
Wed Dec 2 07:01:13 UTC 2020
Module: rtems-central
Branch: master
Commit: 683e0abb2b18118a8ad6d1fa56ed5f394924a808
Changeset: http://git.rtems.org/rtems-central/commit/?id=683e0abb2b18118a8ad6d1fa56ed5f394924a808
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Tue Dec 1 16:48:28 2020 +0100
spec: Clarify rtems_partition_delete()
Move the PTCB sentence to the notes to be in line with
rtems_partition_create().
---
spec/rtems/part/if/delete.yml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/spec/rtems/part/if/delete.yml b/spec/rtems/part/if/delete.yml
index 922e19a..2b4d8f1 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.
More information about the vc
mailing list