1.1 --- a/libmem/lib/src/flexpage.cc Wed May 19 00:38:36 2021 +0200
1.2 +++ b/libmem/lib/src/flexpage.cc Thu May 20 00:01:53 2021 +0200
1.3 @@ -109,7 +109,7 @@
1.4 maximal flags employed by the different pagers, with the result being used in
1.5 unmap operations. */
1.6
1.7 -void Flexpage::upgrade(flags_t flags)
1.8 +void Flexpage::upgrade(map_flags_t flags)
1.9 {
1.10 if (flags && (flags != _flags))
1.11 _flags |= flags;
1.12 @@ -127,7 +127,7 @@
1.13 to 'hot_spot' for the receive flexpage window. */
1.14
1.15 SendFlexpage Flexpage::to_send(offset_t offset, offset_t hot_spot,
1.16 - flags_t flags, offset_t max_offset)
1.17 + map_flags_t flags, offset_t max_offset)
1.18 {
1.19 /* The dataspace offset of the flexpage base is a multiple of the flexpage
1.20 size. */