1.1 --- a/libexec/lib/src/internal_pager.cc Sun Mar 26 17:54:27 2023 +0200
1.2 +++ b/libexec/lib/src/internal_pager.cc Sun Mar 26 22:13:08 2023 +0200
1.3 @@ -60,13 +60,6 @@
1.4 void InternalPager::close()
1.5 {
1.6 printf("Internal pager closing...\n");
1.7 -
1.8 - /* Unmap all regions. */
1.9 -
1.10 - Capabilities::iterator itc;
1.11 -
1.12 - for (itc = _dataspaces.begin(); itc != _dataspaces.end(); itc++)
1.13 - ipc_cap_free_um(*itc);
1.14 }
1.15
1.16
1.17 @@ -159,10 +152,6 @@
1.18 {
1.19 MappedRegion r(*start, *start + size, flags & L4RE_DS_F_RIGHTS_MASK, ds);
1.20 area->add(r);
1.21 -
1.22 - /* Record dataspaces separately. */
1.23 -
1.24 - _dataspaces.insert(ds);
1.25 }
1.26 else
1.27 ipc_cap_free_um(ds);
1.28 @@ -185,18 +174,6 @@
1.29 *rsize = r->area_end() - r->area_start();
1.30 *ds = r->dataspace();
1.31 parent->remove(*r);
1.32 -
1.33 - /* Explicitly reply so that the dataspace can be released. */
1.34 -
1.35 - complete_RegionMapper_detach(*start, *rsize, *ds);
1.36 -
1.37 - /* Free the dataspace reference in this component. Since the same dataspace
1.38 - will have multiple capability indexes, it can be unconditionally
1.39 - released. */
1.40 -
1.41 - _dataspaces.erase(*ds);
1.42 - ipc_cap_free_um(*ds);
1.43 - return IPC_MESSAGE_SENT;
1.44 }
1.45
1.46 return err;