# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1664641323 -7200
# Node ID c6afb5edab017e941ad99a5a38bbf8d4311a462e
# Parent  753474408f12e0ea60c00cf4cd3bb71be928788b
Fixed format specifier.

diff -r 753474408f12 -r c6afb5edab01 libexec/rm/region_mapper.cc
--- a/libexec/rm/region_mapper.cc	Sat Oct 01 17:03:21 2022 +0200
+++ b/libexec/rm/region_mapper.cc	Sat Oct 01 18:22:03 2022 +0200
@@ -58,7 +58,7 @@
 
   for (; region && (region->ds != L4_INVALID_CAP); region++)
   {
-    printf("Adding region: {%lx, %lx, %lx, %lx}\n", region->start, region->size, region->flags, region->ds);
+    printf("Adding region: {%lx, %llx, %lx, %lx}\n", region->start, region->size, region->flags, region->ds);
     MappedRegion r(region->start, region->size, region->flags, region->ds);
     exec_pager.add(r);
   }