1.1 --- a/file.h Sat Mar 13 01:36:26 2021 +0100
1.2 +++ b/file.h Sat Mar 13 17:49:23 2021 +0100
1.3 @@ -52,13 +52,17 @@
1.4
1.5
1.6
1.7 -/* File access operations. */
1.8 +/* File lifecycle operations. */
1.9
1.10 void file_close(file_t *file);
1.11 long file_context(file_t *file, l4_cap_idx_t server);
1.12 void file_init(file_t *file);
1.13 +long file_open(file_t *file, file_t *context);
1.14 +
1.15 +/* File access region operations. */
1.16 +
1.17 long file_mmap(file_t *file, offset_t position, offset_t length);
1.18 -long file_open(file_t *file, file_t *context);
1.19 +offset_t file_populated_span(file_t *file);
1.20 offset_t file_span(file_t *file);
1.21
1.22 EXTERN_C_END