# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1702156334 -3600
# Node ID adc48aa19e1c24d98897b3368ead9014d26a937d
# Parent  66ab00dc7dd03337794113d8c8a26da93c6c316f
Adjusted debugging and error condition output.

diff -r 66ab00dc7dd0 -r adc48aa19e1c libexec/lib/src/external_pager.cc
--- a/libexec/lib/src/external_pager.cc	Sat Dec 09 01:27:19 2023 +0100
+++ b/libexec/lib/src/external_pager.cc	Sat Dec 09 22:12:14 2023 +0100
@@ -58,7 +58,9 @@
 
 void ExternalPager::close()
 {
+#if DEBUG
   printf("External pager closing...\n");
+#endif
 
   /* Remove pager regions to avoid unmapping them twice. */
 
@@ -215,7 +217,7 @@
     return L4_EOK;
   }
 
-  printf("not mapped at %lx for pc %lx\n", addr, pc);
+  printf("ExternalPager: not mapped at %lx for pc %lx\n", addr, pc);
 
   return err;
 }
diff -r 66ab00dc7dd0 -r adc48aa19e1c libexec/lib/src/internal_pager.cc
--- a/libexec/lib/src/internal_pager.cc	Sat Dec 09 01:27:19 2023 +0100
+++ b/libexec/lib/src/internal_pager.cc	Sat Dec 09 22:12:14 2023 +0100
@@ -59,7 +59,9 @@
 
 void InternalPager::close()
 {
+#if DEBUG
   printf("Internal pager closing...\n");
+#endif
 }
 
 
@@ -126,7 +128,7 @@
     return err;
   }
 
-  printf("not mapped at %lx for pc %lx\n", addr, pc);
+  printf("InternalPager: not mapped at %lx for pc %lx\n", addr, pc);
 
   return err;
 }