1.1 --- a/libexec/rm/region_mapper.cc Tue Mar 14 23:51:57 2023 +0100
1.2 +++ b/libexec/rm/region_mapper.cc Wed Mar 15 00:33:40 2023 +0100
1.3 @@ -57,8 +57,8 @@
1.4
1.5 for (; region && (region->ds != L4_INVALID_CAP); region++)
1.6 {
1.7 - printf("Adding region: {%lx, %llx, %lx, %lx}\n", region->start, region->size, region->flags, region->ds);
1.8 - MappedRegion r(region->start, region->size, region->flags, region->ds);
1.9 + printf("Adding region: {%lx, %llx, %lx, %lx}\n", region->start, region->start + region->size, region->flags, region->ds);
1.10 + MappedRegion r(region->start, region->start + region->size, region->flags, region->ds);
1.11 exec_pager.add(r);
1.12 }
1.13