1.1 --- a/libfsserver/include/fsserver/pipe_pager.h Sat May 11 01:47:53 2024 +0200
1.2 +++ b/libfsserver/include/fsserver/pipe_pager.h Sat May 11 19:17:09 2024 +0200
1.3 @@ -60,7 +60,8 @@
1.4
1.5 /* Pager methods. */
1.6
1.7 - virtual long map(offset_t offset, map_address_t hot_spot, map_flags_t flags, l4_snd_fpage_t *region);
1.8 + virtual long map(offset_t offset, map_address_t hot_spot, map_flags_t flags,
1.9 + l4_snd_fpage_t *region);
1.10
1.11 /* Pipe methods. */
1.12
1.13 @@ -72,7 +73,9 @@
1.14
1.15 virtual long flush(offset_t position, offset_t *size);
1.16
1.17 - virtual long refresh(offset_t *position, offset_t *populated_size, offset_t *size);
1.18 + virtual long refresh(offset_t *position, offset_t *start_pos,
1.19 + offset_t *end_pos, offset_t *size,
1.20 + object_flags_t *object_flags);
1.21
1.22 /* Notification methods. */
1.23