1.1 --- a/client/file.h Sat Apr 03 00:02:41 2021 +0200
1.2 +++ b/client/file.h Sun Apr 04 01:19:22 2021 +0200
1.3 @@ -55,12 +55,12 @@
1.4 /* File operations. */
1.5
1.6 void file_close(file_t *file);
1.7 -long file_open(file_t *file, const char *filename, l4_cap_idx_t server);
1.8 +long file_open(file_t *file, const char *filename, flags_t flags, l4_cap_idx_t server);
1.9
1.10 /* File lifecycle operations. */
1.11
1.12 long file_context(file_t *file, l4_cap_idx_t server);
1.13 -long file_context_open(file_t *file, file_t *context);
1.14 +long file_context_open(file_t *file, flags_t flags, file_t *context);
1.15 void file_init(file_t *file);
1.16
1.17 /* File and region operations. */