file.h | raw changeset files shortlog |
1.1 --- a/file.h Wed Mar 24 23:44:53 2021 +0100 1.2 +++ b/file.h Thu Mar 25 01:42:50 2021 +0100 1.3 @@ -82,7 +82,7 @@ 1.4 1.5 /* Pipe operations. */ 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 /* Pipe region operations. */ 1.11