diff options
Diffstat (limited to 'c-user')
| -rw-r--r-- | c-user/partition/directives.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/c-user/partition/directives.rst b/c-user/partition/directives.rst index 9579877..8bccb09 100644 --- a/c-user/partition/directives.rst +++ b/c-user/partition/directives.rst @@ -292,8 +292,7 @@ Deletes the partition. .. rubric:: DESCRIPTION: This directive deletes the partition specified by the ``id`` parameter. The -partition cannot be deleted if any of its buffers are still allocated. The -:term:`PTCB` for the deleted partition is reclaimed by RTEMS. +partition cannot be deleted if any of its buffers are still allocated. .. rubric:: RETURN VALUES: @@ -314,6 +313,8 @@ partition cannot be deleted if any of its buffers are still allocated. The This directive may cause the calling task to be preempted due to an obtain and release of the object allocator mutex. +The :term:`PTCB` 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. |