# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1653252700 -7200
# Node ID 927ad10340fb9e60868b2094095c1731d5d02b9c
# Parent  89ad69fc6d1af73c9423dce1eccbf47edfc44381
Added debugging message when a region cannot be added.

diff -r 89ad69fc6d1a -r 927ad10340fb tests/dstest_exec.cc
--- a/tests/dstest_exec.cc	Sun May 22 22:44:13 2022 +0200
+++ b/tests/dstest_exec.cc	Sun May 22 22:51:40 2022 +0200
@@ -151,6 +151,7 @@
            addr - r.map_start,
            l4_fpage_size(region->fpage),
            l4_fpage_rights(region->fpage));
+
     printf("%lx -> ", addr);
 
     for (unsigned int i = 0; i < sizeof(l4_umword_t); i++)
@@ -276,6 +277,10 @@
   {
     // NOTE: To be implemented.
 
+#if DEBUG
+    printf("-> region of size %ld (%d) not added!\n", region_size, page_order(region_size));
+#endif
+
     return -L4_ENOMEM;
   }
 }