L4Re/departure

Annotated libsystypes/idl/pipe.idl

665:5c24477f91bf
181:49d8e9637cdb
2021-08-25 Paul Boddie file changeset files shortlog Introduced various external packages into this distribution. Some small changes were made to Control files upon discovering build issues, and libext2fs/lib/Makefile was adjusted to enforce build ordering.
paul@181 1 
#include <systypes/base.h>  /* offset_t */
paul@181 2 
 
 paul@181      3 
/* A pipe interface providing access to shared memory. */
 
 paul@181      4 
 
 paul@181      5 
interface Pipe
 
 paul@181      6 
{
 
 paul@181      7 
  /* Obtain details of the current region of shared memory. */
 
 paul@181      8 
 
 paul@181      9 
  [opcode(16)] void current_region(out offset_t populated_size, out offset_t size);
 
 paul@181     10 
 
 paul@181     11 
  /* Advance to the next region of shared memory, indicating and obtaining the
 
 paul@181     12 
     populated limit of the region and obtaining the region size. */
 
 paul@181     13 
 
 paul@181     14 
  [opcode(17)] void next_region(inout offset_t populated_size, out offset_t size);
 
 paul@181     15 
 
 paul@181     16 
  /* Return whether the pipe is closed or partly closed. */
 
 paul@181     17 
 
 paul@181     18 
  [opcode(22)] void closed(out int closed);
 
 paul@181     19 
};