1.1 --- a/pipe_opener_resource.cc Wed Mar 24 23:44:53 2021 +0100
1.2 +++ b/pipe_opener_resource.cc Thu Mar 25 01:42:50 2021 +0100
1.3 @@ -7,8 +7,7 @@
1.4
1.5 /* Support for providing access to pipes. */
1.6
1.7 -PipeOpenerResource::PipeOpenerResource(PagesConserving *pages)
1.8 -: _pages(pages)
1.9 +PipeOpenerResource::PipeOpenerResource()
1.10 {
1.11 }
1.12
1.13 @@ -26,11 +25,11 @@
1.14
1.15 /* Pipe opener interface methods. */
1.16
1.17 -long PipeOpenerResource::pipe(l4_cap_idx_t *reader, l4_cap_idx_t *writer)
1.18 +long PipeOpenerResource::pipe(offset_t size, l4_cap_idx_t *reader, l4_cap_idx_t *writer)
1.19 {
1.20 /* Both endpoints will employ a common paging coordinator. */
1.21
1.22 - PipePaging *paging = new PipePaging();
1.23 + PipePaging *paging = new PipePaging(size);
1.24
1.25 /* Each endpoint will have its own pager. */
1.26
1.27 @@ -41,9 +40,9 @@
1.28 return open_endpoint(paging, false, reader) || open_endpoint(paging, true, writer);
1.29 }
1.30
1.31 -long PipeOpenerResource::open_endpoint(PipePaging *paging, bool writer, l4_cap_idx_t *endpoint)
1.32 +long PipeOpenerResource::open_endpoint(PipePaging *paging, bool writing, l4_cap_idx_t *endpoint)
1.33 {
1.34 - PipePager *pager = new PipePager(_pages, paging, writer);
1.35 + PipePager *pager = new PipePager(paging, writing);
1.36
1.37 /* Start the endpoint server in a new thread.
1.38 If the thread does not start, the resource should be finalised. */