1.1 --- a/libexec/include/exec/external_pager.h Mon Mar 06 16:19:15 2023 +0100
1.2 +++ b/libexec/include/exec/external_pager.h Mon Mar 06 18:30:22 2023 +0100
1.3 @@ -38,8 +38,8 @@
1.4 public NotificationSupport, public Resource
1.5 {
1.6 protected:
1.7 - l4_cap_idx_t _task, _rtask, _parent, _rparent, _pager, _rpager, _ipc_gate;
1.8 - std::vector<l4_cap_idx_t> _threads, _rthreads;
1.9 + l4_cap_idx_t _task, _mapped_task, _parent, _mapped_parent, _pager, _mapped_pager, _ipc_gate;
1.10 + std::vector<l4_cap_idx_t> _threads, _mapped_threads;
1.11
1.12 public:
1.13 explicit ExternalPager(address_t start = 0, address_t end = 0);
1.14 @@ -53,11 +53,11 @@
1.15
1.16 /* Task and thread management. */
1.17
1.18 - virtual void add_thread(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.19 + virtual void add_thread(l4_cap_idx_t cap, l4_cap_idx_t mapped_cap);
1.20 virtual void set_gate(l4_cap_idx_t cap);
1.21 - virtual void set_pager(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.22 - virtual void set_parent(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.23 - virtual void set_task(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.24 + virtual void set_pager(l4_cap_idx_t cap, l4_cap_idx_t mapped_cap);
1.25 + virtual void set_parent(l4_cap_idx_t cap, l4_cap_idx_t mapped_cap);
1.26 + virtual void set_task(l4_cap_idx_t cap, l4_cap_idx_t mapped_cap);
1.27
1.28 /* Resource methods. */
1.29