1 | SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause |
---|
2 | brief: | |
---|
3 | Deletes the partition. |
---|
4 | copyrights: |
---|
5 | - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) |
---|
6 | - Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR) |
---|
7 | definition: |
---|
8 | default: |
---|
9 | attributes: null |
---|
10 | body: null |
---|
11 | params: |
---|
12 | - ${../../type/if/id:/name} ${.:/params[0]/name} |
---|
13 | return: ${../../status/if/code:/name} |
---|
14 | variants: [] |
---|
15 | description: | |
---|
16 | This directive deletes the partition specified by the ${.:/params[0]/name} |
---|
17 | parameter. The partition cannot be deleted if any of its buffers are still |
---|
18 | allocated. The ${/glossary/ptcb:/term} for the deleted partition is |
---|
19 | reclaimed by RTEMS. |
---|
20 | enabled-by: true |
---|
21 | index-entries: |
---|
22 | - delete a partition |
---|
23 | interface-type: function |
---|
24 | links: |
---|
25 | - role: interface-placement |
---|
26 | uid: header |
---|
27 | - role: interface-ingroup |
---|
28 | uid: group |
---|
29 | name: rtems_partition_delete |
---|
30 | notes: | |
---|
31 | This directive may cause the calling task to be preempted due to an obtain |
---|
32 | and release of the object allocator mutex. |
---|
33 | |
---|
34 | The calling task does not have to be the task that created the partition. |
---|
35 | Any local task that knows the partition identifier can delete the partition. |
---|
36 | |
---|
37 | When a global partition is deleted, the partition identifier must be |
---|
38 | transmitted to every node in the system for deletion from the local copy of |
---|
39 | the global object table. |
---|
40 | |
---|
41 | The partition must reside on the local node, even if the partition was |
---|
42 | created with the ${../../attr/if/global:/name} attribute. |
---|
43 | params: |
---|
44 | - description: is the partition identifier. |
---|
45 | dir: null |
---|
46 | name: id |
---|
47 | return: |
---|
48 | return: null |
---|
49 | return-values: |
---|
50 | - description: | |
---|
51 | The requested operation was successful. |
---|
52 | value: ${../../status/if/successful:/name} |
---|
53 | - description: | |
---|
54 | There was no partition with the specified identifier. |
---|
55 | value: ${../../status/if/invalid-id:/name} |
---|
56 | - description: | |
---|
57 | The partition resided on a remote node. |
---|
58 | value: ${../../status/if/illegal-on-remote-object:/name} |
---|
59 | - description: | |
---|
60 | There were buffers of the partition still in use. |
---|
61 | value: ${../../status/if/resource-in-use:/name} |
---|
62 | type: interface |
---|