1.1 --- a/libexec/rm/region_mapper.cc Sat Oct 01 16:53:23 2022 +0200
1.2 +++ b/libexec/rm/region_mapper.cc Sat Oct 01 16:58:16 2022 +0200
1.3 @@ -30,7 +30,10 @@
1.4
1.5
1.6
1.7 -static InternalPager exec_pager;
1.8 +/* Initialise a pager for programs, reserving space below the allocated regions
1.9 + for the region mapper itself. */
1.10 +
1.11 +static InternalPager exec_pager(L4_PAGESIZE * 10);
1.12
1.13
1.14
1.15 @@ -56,7 +59,8 @@
1.16 for (; region && (region->ds != L4_INVALID_CAP); region++)
1.17 {
1.18 printf("Adding region: {%lx, %lx, %lx, %lx}\n", region->start, region->size, region->flags, region->ds);
1.19 - exec_pager.add(*region);
1.20 + MappedRegion r(region->start, region->size, region->flags, region->ds);
1.21 + exec_pager.add(r);
1.22 }
1.23
1.24 /* Start the pager. */