1.1 --- a/libexec/lib/src/external_pager.cc Wed Feb 28 17:46:20 2024 +0100
1.2 +++ b/libexec/lib/src/external_pager.cc Sat Mar 02 23:51:22 2024 +0100
1.3 @@ -38,6 +38,10 @@
1.4
1.5 #define DEBUG 0
1.6
1.7 +#if DEBUG
1.8 +#include <l4/sys/kdebug.h>
1.9 +#endif
1.10 +
1.11
1.12
1.13 /* A simple system pager also acting as a region mapper. */
1.14 @@ -207,6 +211,8 @@
1.15 printf("%02x", *((unsigned char *)(r->dataspace_start() + (addr - r->area_start()) + i)));
1.16
1.17 printf("\n");
1.18 +
1.19 + // enter_kdebug("page_fault");
1.20 #endif
1.21
1.22 if (r->flags() & L4RE_RM_F_W)
1.23 @@ -234,6 +240,10 @@
1.24
1.25 (void) offset;
1.26
1.27 +#if DEBUG
1.28 + printf("attach(%lx, %lx, %lx, %lx, %lx, %d)", *start, size, flags, ds, offset, align);
1.29 +#endif
1.30 +
1.31 MemoryArea *area;
1.32 long err = ExecPager::find(start, &size, flags, align, &area);
1.33