# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1655501580 -7200
# Node ID e43f4434d45e74e621da2af07746e4b933c317ba
# Parent  1a8e1e5dd8f9926e6d996b79b1178e1ff212fa4d
Added a dataspace member for debugging purposes.

diff -r 1a8e1e5dd8f9 -r e43f4434d45e libexec/include/exec/mapped_region.h
--- a/libexec/include/exec/mapped_region.h	Fri Jun 17 23:18:38 2022 +0200
+++ b/libexec/include/exec/mapped_region.h	Fri Jun 17 23:33:00 2022 +0200
@@ -36,15 +36,17 @@
   offset_t size;
   l4_umword_t flags;
   l4_addr_t map_start;
+  l4_cap_idx_t ds;
 
   explicit MappedRegion()
-  : start(0), size(0), flags(0), map_start(0)
+  : start(0), size(0), flags(0), map_start(0), ds(L4_INVALID_CAP)
   {
   }
 
   explicit MappedRegion(l4_addr_t start, l4_addr_t size,
-                        l4_umword_t flags, l4_addr_t map_start)
-  : start(start), size(size), flags(flags), map_start(map_start)
+                        l4_umword_t flags, l4_addr_t map_start,
+                        l4_cap_idx_t ds = L4_INVALID_CAP)
+  : start(start), size(size), flags(flags), map_start(map_start), ds(ds)
   {
   }
 };