| 5 months ago | Paul Boddie | file changeset files shortlog | Added the retention of the current data position in pipe endpoints, allowing endpoints to be transferred to other programs and initialised appropriately. Renamed the populated_size parameter in the flush operation to indicate that a more general position is being sent, this being a populated size in a writing context and the current reading position in a reading context. |
| paul@181 | 1 | #include <systypes/base.h> /* offset_t */ |
| paul@181 | 2 | |
| paul@181 | 3 | /* An interface providing a flush operation for files and pipes. */ |
| paul@181 | 4 | |
| paul@181 | 5 | interface Flush |
| paul@181 | 6 | { |
| paul@665 | 7 | /* Flush data and update the size, if appropriate. When writing, the position |
| paul@665 | 8 | indicates the populated size of the object; when reading, the position |
| paul@665 | 9 | indicates the point from which data is being consumed by a client. */ |
| paul@181 | 10 | |
| paul@665 | 11 | [opcode(5)] void flush(in offset_t position, out offset_t size); |
| paul@181 | 12 | }; |