L4Re/departure

Annotated libsystypes/idl/mapped_file.idl

332:8c1a864b4423
181:49d8e9637cdb
2021-08-25 Paul Boddie file changeset files shortlog 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 operations specific to mapped files. */
 
 paul@181      4 
 
 paul@181      5 
interface MappedFile
 
 paul@181      6 
{
 
 paul@181      7 
  /* Memory-map a file for the given file position and length, obtaining the
 
 paul@181      8 
     limits of the mapped region and the size of the file. */
 
 paul@181      9 
 
 paul@181     10 
  [opcode(7)] void mmap(in offset_t position, in offset_t length,
 
 paul@181     11 
                        out offset_t start_pos, out offset_t end_pos,
 
 paul@181     12 
                        out offset_t size);
 
 paul@181     13 
};