1.1 --- a/libexec/lib/src/external_pager.cc Sat Dec 09 01:27:19 2023 +0100
1.2 +++ b/libexec/lib/src/external_pager.cc Sat Dec 09 22:12:14 2023 +0100
1.3 @@ -58,7 +58,9 @@
1.4
1.5 void ExternalPager::close()
1.6 {
1.7 +#if DEBUG
1.8 printf("External pager closing...\n");
1.9 +#endif
1.10
1.11 /* Remove pager regions to avoid unmapping them twice. */
1.12
1.13 @@ -215,7 +217,7 @@
1.14 return L4_EOK;
1.15 }
1.16
1.17 - printf("not mapped at %lx for pc %lx\n", addr, pc);
1.18 + printf("ExternalPager: not mapped at %lx for pc %lx\n", addr, pc);
1.19
1.20 return err;
1.21 }
2.1 --- a/libexec/lib/src/internal_pager.cc Sat Dec 09 01:27:19 2023 +0100
2.2 +++ b/libexec/lib/src/internal_pager.cc Sat Dec 09 22:12:14 2023 +0100
2.3 @@ -59,7 +59,9 @@
2.4
2.5 void InternalPager::close()
2.6 {
2.7 +#if DEBUG
2.8 printf("Internal pager closing...\n");
2.9 +#endif
2.10 }
2.11
2.12
2.13 @@ -126,7 +128,7 @@
2.14 return err;
2.15 }
2.16
2.17 - printf("not mapped at %lx for pc %lx\n", addr, pc);
2.18 + printf("InternalPager: not mapped at %lx for pc %lx\n", addr, pc);
2.19
2.20 return err;
2.21 }