1.1 --- a/libfsserver/lib/files/file_pager.cc Tue Sep 13 00:47:33 2022 +0200
1.2 +++ b/libfsserver/lib/files/file_pager.cc Tue Sep 13 00:52:06 2022 +0200
1.3 @@ -129,7 +129,7 @@
1.4
1.5 /* Generic pager operations. */
1.6
1.7 -long FilePager::map(offset_t offset, address_t hot_spot, map_flags_t map_flags, l4_snd_fpage_t *region)
1.8 +long FilePager::map(offset_t offset, map_address_t hot_spot, map_flags_t map_flags, l4_snd_fpage_t *region)
1.9 {
1.10 return Pager::map(offset, hot_spot, map_flags, region);
1.11 }