L4Re/departure

libsystypes/idl/pipe_opener.idl

391:bc65615a8fed
2022-06-30 Paul Boddie Added missing structure members. mmap-region-flags
     1 #include <systypes/base.h>  /* offset_t */     2      3 /* An interface providing pipe-opening support. */     4      5 interface PipeOpener     6 {     7   /* Obtain a pipe for communication between two endpoints, indicating a region     8      size for each section of a pipe. */     9     10   [opcode(20)] void pipe(in offset_t size, out cap reader, out cap writer);    11 };