file_pager.h | raw changeset files shortlog |
1.1 --- a/file_pager.h Wed Mar 17 00:10:47 2021 +0100 1.2 +++ b/file_pager.h Thu Mar 18 00:59:55 2021 +0100 1.3 @@ -25,6 +25,8 @@ 1.4 1.5 virtual long flush(offset_t populated_size, offset_t *size); 1.6 1.7 + virtual long resize(offset_t *size); 1.8 + 1.9 /* Pager and mapped file methods. */ 1.10 1.11 virtual long map(unsigned long offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region);