RTEMS 4.6.1 On-Line Library

Partition Manager PARTITION_DELETE - Delete a partition

RTEMS Ada User's Guide

13.4.3: PARTITION_DELETE - Delete a partition

CALLING SEQUENCE:

procedure Partition_Delete (
   ID     : in     RTEMS.ID;
   Result :    out RTEMS.Status_Codes
);

DIRECTIVE STATUS CODES:

RTEMS.SUCCESSFUL - partition deleted successfully
RTEMS.INVALID_ID - invalid partition id
RTEMS.RESOURCE_IN_USE - buffers still in use
RTEMS.ILLEGAL_ON_REMOTE_OBJECT - cannot delete remote partition

DESCRIPTION:

This directive deletes the partition specified by id. The partition cannot be deleted if any of its buffers are still allocated. The PTCB for the deleted partition is reclaimed by RTEMS.

NOTES:

This directive will not cause the calling task to be preempted.

The calling task does not have to be the task that created the partition. Any local task that knows the partition id can delete the partition.

When a global partition is deleted, the partition id must be transmitted to every node in the system for deletion from the local copy of the global object table.

The partition must reside on the local node, even if the partition was created with the RTEMS.GLOBAL option.

RTEMS Ada User's Guide