1.1 --- a/libexec/rm/region_mapper.cc Sat Oct 01 17:03:21 2022 +0200
1.2 +++ b/libexec/rm/region_mapper.cc Sat Oct 01 18:22:03 2022 +0200
1.3 @@ -58,7 +58,7 @@
1.4
1.5 for (; region && (region->ds != L4_INVALID_CAP); region++)
1.6 {
1.7 - printf("Adding region: {%lx, %lx, %lx, %lx}\n", region->start, region->size, region->flags, region->ds);
1.8 + printf("Adding region: {%lx, %llx, %lx, %lx}\n", region->start, region->size, region->flags, region->ds);
1.9 MappedRegion r(region->start, region->size, region->flags, region->ds);
1.10 exec_pager.add(r);
1.11 }