L4Re/departure

Annotated libsystypes/idl/mapped_file.idl

339:8349c51951e2
332:8c1a864b4423
2022-05-22 Paul Boddie file changeset files shortlog Changed the mmap interface to employ explicit visible region limits. mmap-region-flags
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@339      7 
  /* Memory-map a file for the given file position and length, masking regions
 
 paul@339      8 
     beyond any visible range if indicated, obtaining the limits of the mapped
 
 paul@339      9 
     region and the size of the file. */
 
 paul@181     10 
 
 paul@181     11 
  [opcode(7)] void mmap(in offset_t position, in offset_t length,
 
 paul@339     12 
                        in offset_t start_visible, in offset_t end_visible,
 
 paul@181     13 
                        out offset_t start_pos, out offset_t end_pos,
 
 paul@181     14 
                        out offset_t size);
 
 paul@181     15 
};