L4Re/departure

Annotated libsystypes/idl/flush.idl

181:49d8e9637cdb
2021-08-25 Paul Boddie Introduced various external packages into this distribution. Some small changes were made to Control files upon discovering build issues, and libext2fs/lib/Makefile was adjusted to enforce build ordering.
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@181 7
  /* Flush data and update the size, if appropriate. */
paul@181 8
paul@181 9
  [opcode(5)] void flush(in offset_t populated_size, out offset_t size);
paul@181 10
};