1.1 --- a/file.h Thu Mar 04 23:50:40 2021 +0100
1.2 +++ b/file.h Sun Mar 07 23:05:04 2021 +0100
1.3 @@ -41,19 +41,24 @@
1.4
1.5 /* File region parameters. */
1.6
1.7 - offset_t start_pos, end_pos; /* start and end of region */
1.8 + offset_t start_pos, end_pos; /* start and end positions of region */
1.9 offset_t data_end; /* amount of data in the region */
1.10 - offset_t size; /* total size of file */
1.11 +
1.12 + /* Total size of file. */
1.13 +
1.14 + offset_t size;
1.15
1.16 } file_t;
1.17
1.18 +
1.19 +
1.20 /* File access operations. */
1.21
1.22 void file_close(file_t *file);
1.23 long file_context(file_t *file, l4_cap_idx_t server);
1.24 void file_init(file_t *file);
1.25 long file_mmap(file_t *file, offset_t position, offset_t length);
1.26 -long file_open(file_t *file, l4_cap_idx_t context_ref);
1.27 +long file_open(file_t *file, file_t *context);
1.28 offset_t file_span(file_t *file);
1.29
1.30 EXTERN_C_END