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:12:51 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(address_t offset, address_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.9 {
1.10 Flexpage flexpage(_region);
1.11
1.12 @@ -52,7 +52,7 @@
1.13 return IPC_MESSAGE_SENT;
1.14 }
1.15
1.16 -long SimplePager::info(offset_t *size, flags_t *flags)
1.17 +long SimplePager::info(length_t *size, flags_t *flags)
1.18 {
1.19 *size = _region->size();
1.20 *flags = L4_FPAGE_RW;