1.1 --- a/libexec/include/exec/mapped_region.h Sat Oct 01 16:53:23 2022 +0200
1.2 +++ b/libexec/include/exec/mapped_region.h Sat Oct 01 16:58:16 2022 +0200
1.3 @@ -35,18 +35,18 @@
1.4 l4_addr_t start;
1.5 offset_t size;
1.6 l4_umword_t flags;
1.7 - l4_addr_t map_start;
1.8 l4_cap_idx_t ds;
1.9 + l4_addr_t ds_start;
1.10
1.11 explicit MappedRegion()
1.12 - : start(0), size(0), flags(0), map_start(0), ds(L4_INVALID_CAP)
1.13 + : start(0), size(0), flags(0), ds(L4_INVALID_CAP), ds_start(0)
1.14 {
1.15 }
1.16
1.17 explicit MappedRegion(l4_addr_t start, l4_addr_t size,
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 + l4_umword_t flags, l4_cap_idx_t ds = L4_INVALID_CAP,
1.22 + l4_addr_t ds_start = 0)
1.23 + : start(start), size(size), flags(flags), ds(ds), ds_start(ds_start)
1.24 {
1.25 }
1.26 };