1.1 --- a/pipe_opener_resource.h Wed Mar 24 23:44:53 2021 +0100
1.2 +++ b/pipe_opener_resource.h Thu Mar 25 01:42:50 2021 +0100
1.3 @@ -1,6 +1,5 @@
1.4 #pragma once
1.5
1.6 -#include "pages_conserving.h"
1.7 #include "pipe_opener_interface.h"
1.8 #include "pipe_paging.h"
1.9 #include "resource.h"
1.10 @@ -10,12 +9,10 @@
1.11 class PipeOpenerResource : public Resource, public PipeOpener
1.12 {
1.13 protected:
1.14 - PagesConserving *_pages;
1.15 -
1.16 - long open_endpoint(PipePaging *paging, bool writer, l4_cap_idx_t *endpoint);
1.17 + long open_endpoint(PipePaging *paging, bool writing, l4_cap_idx_t *endpoint);
1.18
1.19 public:
1.20 - explicit PipeOpenerResource(PagesConserving *pages);
1.21 + explicit PipeOpenerResource();
1.22
1.23 /* Server details. */
1.24
1.25 @@ -28,7 +25,7 @@
1.26
1.27 /* PipeOpener interface methods. */
1.28
1.29 - long pipe(l4_cap_idx_t *reader, l4_cap_idx_t *writer);
1.30 + long pipe(offset_t size, l4_cap_idx_t *reader, l4_cap_idx_t *writer);
1.31 };
1.32
1.33 // vim: tabstop=4 expandtab shiftwidth=4