1.1 --- a/libmem/lib/src/flexpage.cc Sat May 14 23:52:24 2022 +0200
1.2 +++ b/libmem/lib/src/flexpage.cc Sun May 22 22:43:58 2022 +0200
1.3 @@ -32,6 +32,7 @@
1.4 void Flexpage::reset(offset_t offset)
1.5 {
1.6 _counter = 0;
1.7 + _flags = 0;
1.8
1.9 /* By definition (see "Flexible-Sized Page Objects - Object-Orientation
1.10 in Operation Systems"), flexpages are aligned to multiples of their
1.11 @@ -120,7 +121,7 @@
1.12
1.13 bool Flexpage::modified()
1.14 {
1.15 - return _flags & L4RE_DS_MAP_FLAG_RW;
1.16 + return _flags & L4RE_DS_F_W;
1.17 }
1.18
1.19 /* Return a "send" flexpage for an access to 'offset' by positioning it relative