1.1 --- a/simple_pager.cc Tue Mar 16 23:59:07 2021 +0100
1.2 +++ b/simple_pager.cc Wed Mar 17 00:10:47 2021 +0100
1.3 @@ -28,7 +28,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(unsigned long offset, l4_addr_t hot_spot, unsigned long flags, l4_snd_fpage_t *region)
1.8 +long SimplePager::map(offset_t offset, l4_addr_t hot_spot, flags_t flags, l4_snd_fpage_t *region)
1.9 {
1.10 Flexpage flexpage(_region);
1.11
1.12 @@ -50,7 +50,7 @@
1.13 return IPC_MESSAGE_SENT;
1.14 }
1.15
1.16 -long SimplePager::info(unsigned long *size, unsigned long *flags)
1.17 +long SimplePager::info(offset_t *size, flags_t *flags)
1.18 {
1.19 *size = _region->size();
1.20 *flags = L4_FPAGE_RW;