RTEMS 4.10.2 On-Line Library

Partition Manager PARTITION_RETURN_BUFFER - Return buffer to a partition

RTEMS Ada User's Guide

13.4.5: PARTITION_RETURN_BUFFER - Return buffer to a partition

CALLING SEQUENCE:

procedure Partition_Return_Buffer (
   ID     : in     RTEMS.ID;
   Buffer : in     RTEMS.Address;
   Result :    out RTEMS.Status_Codes
);

DIRECTIVE STATUS CODES:

RTEMS.SUCCESSFUL - buffer returned successfully
RTEMS.INVALID_ADDRESS - buffer is NULL
RTEMS.INVALID_ID - invalid partition id
RTEMS.INVALID_ADDRESS - buffer address not in partition

DESCRIPTION:

This directive returns the buffer specified by buffer to the partition specified by id.

NOTES:

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

Returning a buffer to a global partition which does not reside on the local node will generate a request telling the remote node to return the buffer to the specified partition.

Returning a buffer multiple times is an error. It will corrupt the internal state of the partition.

RTEMS Ada User's Guide