1.1 --- a/libexec/include/exec/internal_pager.h Fri Mar 03 18:15:38 2023 +0100
1.2 +++ b/libexec/include/exec/internal_pager.h Fri Mar 03 19:29:33 2023 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * A system pager implementation residing in the same task as a program.
1.6 *
1.7 - * Copyright (C) 2022 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2022, 2023 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -22,6 +22,7 @@
1.13 #pragma once
1.14
1.15 #include <exec/pager.h>
1.16 +#include <fsserver/resource.h>
1.17
1.18 #include "pager_object_interface.h"
1.19
1.20 @@ -29,11 +30,18 @@
1.21
1.22 /* A simple system pager also acting as a region mapper. */
1.23
1.24 -class InternalPager : public ExecPager, public PagerObject
1.25 +class InternalPager : public ExecPager, public PagerObject, public Resource
1.26 {
1.27 public:
1.28 explicit InternalPager(address_t start = 0, address_t end = 0);
1.29
1.30 + /* Server details. */
1.31 +
1.32 + virtual ipc_server_default_config_type config();
1.33 +
1.34 + virtual void *interface()
1.35 + { return static_cast<PagerObject *>(this); }
1.36 +
1.37 /* Notification methods, implementing PagerObject. */
1.38
1.39 virtual long exception(l4_exc_regs_t regs,