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