1.1 --- a/files/pipe_paging.cc Sat Mar 27 00:37:54 2021 +0100
1.2 +++ b/files/pipe_paging.cc Sat Mar 27 00:55:05 2021 +0100
1.3 @@ -1,8 +1,16 @@
1.4 #include "pipe_paging.h"
1.5
1.6 +PipePaging::PipePaging(Memory *memory, offset_t size)
1.7 +: _memory(NULL), _size(size)
1.8 +{
1.9 + _pages = new PagesConserving(memory);
1.10 +}
1.11 +
1.12 PipePaging::PipePaging(offset_t size)
1.13 : _size(size)
1.14 {
1.15 + _memory = new Memory();
1.16 + _pages = new PagesConserving(_memory);
1.17 }
1.18
1.19 /* Detach one endpoint. */
1.20 @@ -29,6 +37,13 @@
1.21 mapper->detach();
1.22 delete mapper;
1.23 }
1.24 +
1.25 + /* Delete the page collection and memory object. */
1.26 +
1.27 + delete _pages;
1.28 +
1.29 + if (_memory != NULL)
1.30 + delete _memory;
1.31 }
1.32
1.33 /* Add a region to the sequence. */