1 #include <systypes/base.h> /* offset_t */ 2 3 /* A pipe interface providing access to shared memory. */ 4 5 interface Pipe 6 { 7 /* Advance to the next region of shared memory, indicating and obtaining the 8 populated limit of the region and obtaining the region size. 9 10 The current region details are available via the Flush interface's refresh 11 operation. */ 12 13 [opcode(17)] void next_region(inout offset_t populated_size, out offset_t size); 14 15 /* Return whether the pipe is closed or partly closed. */ 16 17 [opcode(22)] void closed(out int closed); 18 };