1.1 --- a/libexec/include/exec/external_pager.h Tue Feb 28 22:40:02 2023 +0100
1.2 +++ b/libexec/include/exec/external_pager.h Fri Mar 03 18:15:38 2023 +0100
1.3 @@ -35,6 +35,9 @@
1.4 class ExternalPager : public ExecPager, public ParentPagerObject,
1.5 public NotificationSupport, public Resource
1.6 {
1.7 +protected:
1.8 + l4_cap_idx_t _task, _server, _ipc_gate;
1.9 +
1.10 public:
1.11 explicit ExternalPager(address_t start = 0, address_t end = 0);
1.12
1.13 @@ -45,6 +48,16 @@
1.14 virtual void *interface()
1.15 { return static_cast<ParentPagerObject *>(this); }
1.16
1.17 + /* Task and thread management. */
1.18 +
1.19 + virtual void set_task(l4_cap_idx_t cap);
1.20 + virtual void set_server(l4_cap_idx_t cap);
1.21 + virtual void set_gate(l4_cap_idx_t cap);
1.22 +
1.23 + /* Resource methods. */
1.24 +
1.25 + virtual void close();
1.26 +
1.27 /* Notification methods, implementing PagerObject. */
1.28
1.29 virtual long exception(l4_exc_regs_t regs,