1.1 --- a/libexec/include/exec/external_pager.h Sun Feb 26 22:19:31 2023 +0100
1.2 +++ b/libexec/include/exec/external_pager.h Mon Feb 27 14:46:13 2023 +0100
1.3 @@ -23,6 +23,7 @@
1.4
1.5 #include <exec/pager.h>
1.6 #include <fsserver/notification.h>
1.7 +#include <fsserver/resource.h>
1.8
1.9 #include "notifier_interface.h"
1.10 #include "parent_pager_object_interface.h"
1.11 @@ -32,11 +33,18 @@
1.12 /* A simple system pager also acting as a region mapper. */
1.13
1.14 class ExternalPager : public ExecPager, public ParentPagerObject,
1.15 - public NotificationSupport
1.16 + public NotificationSupport, public Resource
1.17 {
1.18 public:
1.19 explicit ExternalPager(address_t start = 0, address_t end = 0);
1.20
1.21 + /* Server details. */
1.22 +
1.23 + virtual ipc_server_default_config_type config();
1.24 +
1.25 + virtual void *interface()
1.26 + { return static_cast<ParentPagerObject *>(this); }
1.27 +
1.28 /* Notification methods, implementing PagerObject. */
1.29
1.30 virtual long exception(l4_exc_regs_t regs,