1.1 --- a/libexec/include/exec/external_pager.h Sun Mar 26 17:54:27 2023 +0200
1.2 +++ b/libexec/include/exec/external_pager.h Sun Mar 26 22:13:08 2023 +0200
1.3 @@ -21,6 +21,8 @@
1.4
1.5 #pragma once
1.6
1.7 +#include <set>
1.8 +
1.9 #include <exec/elf.h>
1.10 #include <exec/pager.h>
1.11 #include <exec/process_monitor.h>
1.12 @@ -31,12 +33,21 @@
1.13
1.14
1.15
1.16 +/* Collection definitions. */
1.17 +
1.18 +typedef std::set<l4_cap_idx_t> Capabilities;
1.19 +
1.20 +
1.21 +
1.22 /* A simple system pager also acting as a region mapper. */
1.23
1.24 class ExternalPager : public ExecPager, public ParentPagerObject,
1.25 public Resource
1.26 {
1.27 protected:
1.28 + /* Dataspace capabilities associated with regions. */
1.29 +
1.30 + Capabilities _dataspaces;
1.31
1.32 /* Resources associated with the created process. */
1.33