# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1666826044 -7200
# Node ID 2da7115faf504fc6aa18a34634e2daac5594e947
# Parent  102e0dc03f42bcd641be838499f39b1f939c8373
Fixed unmap flexpage flags, these being meant to unmap the flexpage completely.

diff -r 102e0dc03f42 -r 2da7115faf50 libmem/lib/src/flexpage.cc
--- a/libmem/lib/src/flexpage.cc	Thu Oct 27 01:06:33 2022 +0200
+++ b/libmem/lib/src/flexpage.cc	Thu Oct 27 01:14:04 2022 +0200
@@ -195,7 +195,7 @@
 
 SendFlexpage Flexpage::to_unmap()
 {
-    return SendFlexpage(base_addr, page_order(size), _flags);
+    return SendFlexpage(base_addr, page_order(size), L4_FPAGE_RWX);
 }
 
 /* Associate another flexpage with this flexpage. */