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