1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/libsystypes/idl/pipe.idl Wed Aug 25 01:28:08 2021 +0200
1.3 @@ -0,0 +1,19 @@
1.4 +#include <systypes/base.h> /* offset_t */
1.5 +
1.6 +/* A pipe interface providing access to shared memory. */
1.7 +
1.8 +interface Pipe
1.9 +{
1.10 + /* Obtain details of the current region of shared memory. */
1.11 +
1.12 + [opcode(16)] void current_region(out offset_t populated_size, out offset_t size);
1.13 +
1.14 + /* Advance to the next region of shared memory, indicating and obtaining the
1.15 + populated limit of the region and obtaining the region size. */
1.16 +
1.17 + [opcode(17)] void next_region(inout offset_t populated_size, out offset_t size);
1.18 +
1.19 + /* Return whether the pipe is closed or partly closed. */
1.20 +
1.21 + [opcode(22)] void closed(out int closed);
1.22 +};