1.1 --- a/libexec/lib/src/internal_pager.cc Sat Apr 06 23:28:29 2024 +0200
1.2 +++ b/libexec/lib/src/internal_pager.cc Mon May 06 01:09:30 2024 +0200
1.3 @@ -22,6 +22,7 @@
1.4 #include <l4/re/env.h>
1.5 #include <l4/re/c/dataspace.h>
1.6 #include <l4/re/c/rm.h>
1.7 +#include <l4/sys/err.h>
1.8 #include <l4/util/util.h>
1.9
1.10 #include <ipc/cap_alloc.h>
1.11 @@ -125,6 +126,9 @@
1.12
1.13 *region = {0, l4_fpage_invalid()};
1.14
1.15 + if (err)
1.16 + printf("InternalPager: mapping error: %s\n", l4sys_errtostr(err));
1.17 +
1.18 return err;
1.19 }
1.20