1.1 --- a/generic/simple_pager.cc Sun Apr 11 19:34:07 2021 +0200
1.2 +++ b/generic/simple_pager.cc Mon Apr 12 00:33:14 2021 +0200
1.3 @@ -29,7 +29,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, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.8 +long SimplePager::map(offset_t offset, address_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.9 {
1.10 Flexpage flexpage(_region);
1.11