1.1 --- a/file.cc Wed Mar 24 23:44:53 2021 +0100
1.2 +++ b/file.cc Thu Mar 25 01:42:50 2021 +0100
1.3 @@ -235,14 +235,14 @@
1.4
1.5 /* Open two pipe endpoints using the given pipe server. */
1.6
1.7 -long pipe_open(file_t *reader, file_t *writer, l4_cap_idx_t server)
1.8 +long pipe_open(offset_t size, file_t *reader, file_t *writer, l4_cap_idx_t server)
1.9 {
1.10 client_PipeOpener opener(server);
1.11
1.12 file_init(reader);
1.13 file_init(writer);
1.14
1.15 - long err = opener.pipe(&reader->ref, &writer->ref);
1.16 + long err = opener.pipe(size, &reader->ref, &writer->ref);
1.17 if (err)
1.18 return err;
1.19