1.1 --- a/libexec/include/exec/mapped_region.h Fri Jun 17 23:18:38 2022 +0200
1.2 +++ b/libexec/include/exec/mapped_region.h Fri Jun 17 23:33:00 2022 +0200
1.3 @@ -36,15 +36,17 @@
1.4 offset_t size;
1.5 l4_umword_t flags;
1.6 l4_addr_t map_start;
1.7 + l4_cap_idx_t ds;
1.8
1.9 explicit MappedRegion()
1.10 - : start(0), size(0), flags(0), map_start(0)
1.11 + : start(0), size(0), flags(0), map_start(0), ds(L4_INVALID_CAP)
1.12 {
1.13 }
1.14
1.15 explicit MappedRegion(l4_addr_t start, l4_addr_t size,
1.16 - l4_umword_t flags, l4_addr_t map_start)
1.17 - : start(start), size(size), flags(flags), map_start(map_start)
1.18 + l4_umword_t flags, l4_addr_t map_start,
1.19 + l4_cap_idx_t ds = L4_INVALID_CAP)
1.20 + : start(start), size(size), flags(flags), map_start(map_start), ds(ds)
1.21 {
1.22 }
1.23 };