L4Re/departure

Annotated libsystypes/idl/pipe_opener.idl

181:49d8e9637cdb
2021-08-25 Paul Boddie 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
/* An interface providing pipe-opening support. */
paul@181 4
paul@181 5
interface PipeOpener
paul@181 6
{
paul@181 7
  /* Obtain a pipe for communication between two endpoints, indicating a region
paul@181 8
     size for each section of a pipe. */
paul@181 9
paul@181 10
  [opcode(20)] void pipe(in offset_t size, out cap reader, out cap writer);
paul@181 11
};