1.1 --- a/files/file_pager.cc Mon Mar 29 00:56:08 2021 +0200
1.2 +++ b/files/file_pager.cc Wed Mar 31 01:06:22 2021 +0200
1.3 @@ -19,6 +19,10 @@
1.4 return (ipc_server_handler_type) handle_MappedFileObject;
1.5 }
1.6
1.7 +
1.8 +
1.9 +/* File-specific operations. */
1.10 +
1.11 long FilePager::flush(offset_t populated_size, offset_t *size)
1.12 {
1.13 return Pager::flush(populated_size, size);
1.14 @@ -45,6 +49,10 @@
1.15 return L4_EOK;
1.16 }
1.17
1.18 +
1.19 +
1.20 +/* Generic pager operations. */
1.21 +
1.22 long FilePager::map(unsigned long offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.23 {
1.24 return Pager::map(offset, hot_spot, flags, region);