# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1653252238 -7200
# Node ID 28684623830fbeb5d237ca96dccf47201ae37a26
# Parent  3bc0f7f438bd7bfe88eab62d14070224f6d2a5ec
Fixed flexpage flags initialisation and testing for modifications.

diff -r 3bc0f7f438bd -r 28684623830f libmem/lib/src/flexpage.cc
--- a/libmem/lib/src/flexpage.cc	Sat May 14 23:52:24 2022 +0200
+++ b/libmem/lib/src/flexpage.cc	Sun May 22 22:43:58 2022 +0200
@@ -32,6 +32,7 @@
 void Flexpage::reset(offset_t offset)
 {
     _counter = 0;
+    _flags = 0;
 
     /* By definition (see "Flexible-Sized Page Objects - Object-Orientation
        in Operation Systems"), flexpages are aligned to multiples of their
@@ -120,7 +121,7 @@
 
 bool Flexpage::modified()
 {
-    return _flags & L4RE_DS_MAP_FLAG_RW;
+    return _flags & L4RE_DS_F_W;
 }
 
 /* Return a "send" flexpage for an access to 'offset' by positioning it relative