1.1 --- a/file_pager.h Sun Jan 24 19:29:07 2021 +0100
1.2 +++ b/file_pager.h Mon Feb 01 00:10:21 2021 +0100
1.3 @@ -12,6 +12,17 @@
1.4
1.5 explicit FilePager(fileid_t fileid, PageMapper *mapper);
1.6
1.7 + /* Server details. */
1.8 +
1.9 + int expected_items();
1.10 +
1.11 + ipc_server_handler_type handler();
1.12 +
1.13 + void *interface()
1.14 + { return static_cast<MappedFileObject *>(this); }
1.15 +
1.16 + /* Pager and mapped file methods. */
1.17 +
1.18 virtual long map(unsigned long offset, l4_addr_t hot_spot, unsigned long flags, l4_snd_fpage_t *region)
1.19 { return Pager::map(offset, hot_spot, flags, region); }
1.20