L4Re/departure

Annotated libsystypes/idl/flush.idl

665:5c24477f91bf
14 months ago Paul Boddie Added the retention of the current data position in pipe endpoints, allowing endpoints to be transferred to other programs and initialised appropriately. Renamed the populated_size parameter in the flush operation to indicate that a more general position is being sent, this being a populated size in a writing context and the current reading position in a reading context.
paul@181 1
#include <systypes/base.h>  /* offset_t */
paul@181 2
paul@181 3
/* An interface providing a flush operation for files and pipes. */
paul@181 4
paul@181 5
interface Flush
paul@181 6
{
paul@665 7
  /* Flush data and update the size, if appropriate. When writing, the position
paul@665 8
     indicates the populated size of the object; when reading, the position
paul@665 9
     indicates the point from which data is being consumed by a client. */
paul@181 10
paul@665 11
  [opcode(5)] void flush(in offset_t position, out offset_t size);
paul@181 12
};