1.1 --- a/libmem/lib/src/flexpage.cc Fri May 07 00:31:02 2021 +0200
1.2 +++ b/libmem/lib/src/flexpage.cc Sat May 15 17:10:02 2021 +0200
1.3 @@ -19,6 +19,8 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 +#include <l4/re/c/dataspace.h>
1.8 +
1.9 #include <algorithm>
1.10
1.11 #include "flexpage.h"
1.12 @@ -113,6 +115,14 @@
1.13 _flags |= flags;
1.14 }
1.15
1.16 +/* Return whether the flexpage has been modified due to write access having been
1.17 + granted for any user of the page. */
1.18 +
1.19 +bool Flexpage::modified()
1.20 +{
1.21 + return _flags & L4RE_DS_MAP_FLAG_RW;
1.22 +}
1.23 +
1.24 /* Return a "send" flexpage for an access to 'offset' by positioning it relative
1.25 to 'hot_spot' for the receive flexpage window. */
1.26