1.1 --- a/pager.cc Wed Mar 17 00:10:47 2021 +0100
1.2 +++ b/pager.cc Thu Mar 18 00:59:55 2021 +0100
1.3 @@ -19,19 +19,19 @@
1.4
1.5 long Pager::flush(offset_t populated_size, offset_t *size)
1.6 {
1.7 - offset_t limit = _start + populated_size;
1.8 - offset_t file_size = _mapper->get_data_size();
1.9 + _mapper->flush_all(_start, populated_size);
1.10
1.11 - /* Extend the file if the populated size of the region goes beyond the
1.12 - current size. */
1.13 + *size = _mapper->get_data_size();
1.14 + return L4_EOK;
1.15 +}
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 +/* Resize the underlying file. */
1.23
1.24 - *size = file_size;
1.25 +long Pager::resize(offset_t *size)
1.26 +{
1.27 + _mapper->set_data_size(*size);
1.28 +
1.29 + *size = _mapper->get_data_size();
1.30 return L4_EOK;
1.31 }
1.32