# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1714950570 -7200
# Node ID 4cc3e52e39fb014bd7b7e60310b8f98dbfac96e8
# Parent  455188e322a0c3000faa8570c57d6db13e952d6a
Report mapping error conditions since they can be informative.

diff -r 455188e322a0 -r 4cc3e52e39fb libexec/lib/src/internal_pager.cc
--- a/libexec/lib/src/internal_pager.cc	Sat Apr 06 23:28:29 2024 +0200
+++ b/libexec/lib/src/internal_pager.cc	Mon May 06 01:09:30 2024 +0200
@@ -22,6 +22,7 @@
 #include <l4/re/env.h>
 #include <l4/re/c/dataspace.h>
 #include <l4/re/c/rm.h>
+#include <l4/sys/err.h>
 #include <l4/util/util.h>
 
 #include <ipc/cap_alloc.h>
@@ -125,6 +126,9 @@
 
     *region = {0, l4_fpage_invalid()};
 
+    if (err)
+      printf("InternalPager: mapping error: %s\n", l4sys_errtostr(err));
+
     return err;
   }