# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1709419882 -3600
# Node ID 5d590f2cc5894ad00980ce053817dbde7053d16d
# Parent  0ed127c41a275f2517a1743f332c7a5ac288cf86
Added some useful debugging facilities.

diff -r 0ed127c41a27 -r 5d590f2cc589 libexec/lib/src/external_pager.cc
--- a/libexec/lib/src/external_pager.cc	Wed Feb 28 17:46:20 2024 +0100
+++ b/libexec/lib/src/external_pager.cc	Sat Mar 02 23:51:22 2024 +0100
@@ -38,6 +38,10 @@
 
 #define DEBUG 0
 
+#if DEBUG
+#include <l4/sys/kdebug.h>
+#endif
+
 
 
 /* A simple system pager also acting as a region mapper. */
@@ -207,6 +211,8 @@
       printf("%02x", *((unsigned char *)(r->dataspace_start() + (addr - r->area_start()) + i)));
 
     printf("\n");
+
+    // enter_kdebug("page_fault");
 #endif
 
     if (r->flags() & L4RE_RM_F_W)
@@ -234,6 +240,10 @@
 
   (void) offset;
 
+#if DEBUG
+  printf("attach(%lx, %lx, %lx, %lx, %lx, %d)", *start, size, flags, ds, offset, align);
+#endif
+
   MemoryArea *area;
   long err = ExecPager::find(start, &size, flags, align, &area);