1.1 --- a/pipes/pipe_paging.cc Tue Apr 06 23:20:03 2021 +0200
1.2 +++ b/pipes/pipe_paging.cc Wed Apr 07 00:49:13 2021 +0200
1.3 @@ -18,20 +18,6 @@
1.4 _regions[i] = NULL;
1.5 }
1.6
1.7 -PipePaging::PipePaging(offset_t size)
1.8 -: _size(size)
1.9 -{
1.10 - /* Reserve space for two pipe regions. */
1.11 -
1.12 - _memory_base = new MemoryIncremental();
1.13 - _memory = new MemoryPreallocated(_memory_base, size * 2);
1.14 - _queue = new PageQueuePartitioned();
1.15 - _pages = new Pages(_memory, _queue);
1.16 -
1.17 - for (unsigned int i = 0; i < 2; i++)
1.18 - _regions[i] = NULL;
1.19 -}
1.20 -
1.21 /* Detach one endpoint. */
1.22
1.23 void PipePaging::detach()
1.24 @@ -65,11 +51,6 @@
1.25 delete _pages;
1.26 delete _queue;
1.27 delete _memory;
1.28 -
1.29 - /* Delete any underlying memory object. */
1.30 -
1.31 - if (_memory_base != NULL)
1.32 - delete _memory_base;
1.33 }
1.34
1.35 /* Add a region to the sequence. */