1.1 --- a/libfsserver/lib/generic/simple_pager.cc Tue Sep 13 00:47:33 2022 +0200
1.2 +++ b/libfsserver/lib/generic/simple_pager.cc Tue Sep 13 00:52:06 2022 +0200
1.3 @@ -51,7 +51,7 @@
1.4 /* Map a flexpage corresponding to the dataspace 'offset' involving a 'hot_spot'
1.5 (flexpage offset). */
1.6
1.7 -long SimplePager::map(offset_t offset, address_t hot_spot, map_flags_t flags, l4_snd_fpage_t *region)
1.8 +long SimplePager::map(offset_t offset, map_address_t hot_spot, map_flags_t flags, l4_snd_fpage_t *region)
1.9 {
1.10 Flexpage flexpage(_region);
1.11