1.1 --- a/pager.cc Tue Mar 16 23:55:32 2021 +0100
1.2 +++ b/pager.cc Tue Mar 16 23:59:07 2021 +0100
1.3 @@ -15,6 +15,26 @@
1.4 _mapper->detach();
1.5 }
1.6
1.7 +/* Flush data to the file. */
1.8 +
1.9 +long Pager::flush(offset_t populated_size, offset_t *size)
1.10 +{
1.11 + offset_t limit = _start + populated_size;
1.12 + offset_t file_size = _mapper->get_data_size();
1.13 +
1.14 + /* Extend the file if the populated size of the region goes beyond the
1.15 + current size. */
1.16 +
1.17 + if (limit > file_size)
1.18 + {
1.19 + file_size = limit;
1.20 + _mapper->set_data_size(file_size);
1.21 + }
1.22 +
1.23 + *size = file_size;
1.24 + return L4_EOK;
1.25 +}
1.26 +
1.27 /* Expose a region of the file. */
1.28
1.29 long Pager::mmap(offset_t position, offset_t length, offset_t *start_pos, offset_t *end_pos, offset_t *data_end)