1.1 --- a/libexec/include/exec/external_pager.h Sat Mar 04 19:03:27 2023 +0100
1.2 +++ b/libexec/include/exec/external_pager.h Mon Mar 06 00:14:52 2023 +0100
1.3 @@ -21,6 +21,8 @@
1.4
1.5 #pragma once
1.6
1.7 +#include <vector>
1.8 +
1.9 #include <exec/pager.h>
1.10 #include <fsserver/notification.h>
1.11 #include <fsserver/resource.h>
1.12 @@ -36,7 +38,8 @@
1.13 public NotificationSupport, public Resource
1.14 {
1.15 protected:
1.16 - l4_cap_idx_t _task, _server, _ipc_gate;
1.17 + l4_cap_idx_t _task, _ipc_gate, _parent, _rparent, _pager, _rpager;
1.18 + std::vector<l4_cap_idx_t> _threads, _rthreads;
1.19
1.20 public:
1.21 explicit ExternalPager(address_t start = 0, address_t end = 0);
1.22 @@ -50,9 +53,11 @@
1.23
1.24 /* Task and thread management. */
1.25
1.26 + virtual void add_thread(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.27 + virtual void set_gate(l4_cap_idx_t cap);
1.28 + virtual void set_pager(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.29 + virtual void set_parent(l4_cap_idx_t cap, l4_cap_idx_t rcap);
1.30 virtual void set_task(l4_cap_idx_t cap);
1.31 - virtual void set_server(l4_cap_idx_t cap);
1.32 - virtual void set_gate(l4_cap_idx_t cap);
1.33
1.34 /* Resource methods. */
1.35