1.1 --- a/libexec/include/exec/external_pager.h Mon Mar 06 16:04:23 2023 +0100
1.2 +++ b/libexec/include/exec/external_pager.h Mon Mar 06 16:05:44 2023 +0100
1.3 @@ -38,7 +38,7 @@
1.4 public NotificationSupport, public Resource
1.5 {
1.6 protected:
1.7 - l4_cap_idx_t _task, _ipc_gate, _parent, _rparent, _pager, _rpager;
1.8 + l4_cap_idx_t _task, _rtask, _parent, _rparent, _pager, _rpager, _ipc_gate;
1.9 std::vector<l4_cap_idx_t> _threads, _rthreads;
1.10
1.11 public:
1.12 @@ -57,7 +57,7 @@
1.13 virtual void set_gate(l4_cap_idx_t cap);
1.14 virtual void set_pager(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.15 virtual void set_parent(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.16 - virtual void set_task(l4_cap_idx_t cap);
1.17 + virtual void set_task(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.18
1.19 /* Resource methods. */
1.20