1.1 --- a/pipe_pager.cc Thu Mar 25 01:42:50 2021 +0100
1.2 +++ b/pipe_pager.cc Fri Mar 26 00:03:30 2021 +0100
1.3 @@ -26,6 +26,14 @@
1.4
1.5
1.6
1.7 +/* Close the pager, releasing the paging coordinator for the pipe. This will
1.8 + release all active page mappers. */
1.9 +
1.10 +void PipePager::close()
1.11 +{
1.12 + _paging->detach();
1.13 +}
1.14 +
1.15 /* Support paging. */
1.16
1.17 long PipePager::map(unsigned long offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.18 @@ -74,11 +82,6 @@
1.19 if (mapper == NULL)
1.20 return -L4_EIO;
1.21
1.22 - /* Detach and discard the current page mapper. */
1.23 -
1.24 - _mapper->detach();
1.25 - delete _mapper;
1.26 -
1.27 _mapper = mapper;
1.28 }
1.29