examples/flush.idl | raw changeset files shortlog |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/examples/flush.idl Fri Dec 02 23:41:25 2022 +0100 1.3 @@ -0,0 +1,10 @@ 1.4 +#include <systypes/base.h> /* offset_t */ 1.5 + 1.6 +/* An interface providing a flush operation for files and pipes. */ 1.7 + 1.8 +interface Flush 1.9 +{ 1.10 + /* Flush data and update the size, if appropriate. */ 1.11 + 1.12 + [opcode(5)] void flush(in offset_t populated_size, out offset_t size); 1.13 +};