file_pager.h | raw changeset files shortlog |
1.1 --- a/file_pager.h Tue Mar 16 23:55:32 2021 +0100 1.2 +++ b/file_pager.h Tue Mar 16 23:59:07 2021 +0100 1.3 @@ -21,6 +21,10 @@ 1.4 void *interface() 1.5 { return static_cast<MappedFileObject *>(this); } 1.6 1.7 + /* File methods. */ 1.8 + 1.9 + virtual long flush(offset_t populated_size, offset_t *size); 1.10 + 1.11 /* Pager and mapped file methods. */ 1.12 1.13 virtual long map(unsigned long offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region);