Fixed libbarrelfish modify_flags code to do correct inside_region() calls.

diff --git a/lib/barrelfish/arch/arm/pmap_arch.c b/lib/barrelfish/arch/arm/pmap_arch.c
index 05b04fa..94aedfe 100644 (file)
--- a/lib/barrelfish/arch/arm/pmap_arch.c
+++ b/lib/barrelfish/arch/arm/pmap_arch.c
@@ -689,7 +689,7 @@ static errval_t do_single_modify_flags(struct pmap_arm *pmap, genvaddr_t vaddr,
     if (ptable) {
         struct vnode *page = find_vnode(ptable, ptentry);
         if (page) {
-            if (inside_region(page, ptentry, pages)) {
+            if (inside_region(ptable, ptentry, pages)) {
                 // we're modifying part of a valid mapped region
                 // arguments to invocation: invoke frame cap, first affected
                 // page (as offset from first page in mapping), #affected

diff --git a/lib/barrelfish/target/x86_32/pmap_target.c b/lib/barrelfish/target/x86_32/pmap_target.c
index 7e13dd4..158ef94 100644 (file)
--- a/lib/barrelfish/target/x86_32/pmap_target.c
+++ b/lib/barrelfish/target/x86_32/pmap_target.c
@@ -621,7 +621,7 @@ static errval_t do_single_modify_flags(struct pmap_x86 *pmap, genvaddr_t vaddr,
     if (ptable) {
         struct vnode *page = find_vnode(ptable, ptentry);
         if (page) {
-            if (inside_region(page, ptentry, pages)) {
+            if (inside_region(ptable, ptentry, pages)) {
                 // we're modifying part of a valid mapped region
                 // arguments to invocation: invoke frame cap, first affected
                 // page (as offset from first page in mapping), #affected

diff --git a/lib/barrelfish/target/x86_64/pmap_target.c b/lib/barrelfish/target/x86_64/pmap_target.c
index 6395ecc..5314608 100644 (file)
--- a/lib/barrelfish/target/x86_64/pmap_target.c
+++ b/lib/barrelfish/target/x86_64/pmap_target.c
@@ -634,7 +634,7 @@ static errval_t do_single_modify_flags(struct pmap_x86 *pmap, genvaddr_t vaddr,
     if (ptable) {
         struct vnode *page = find_vnode(ptable, ptentry);
         if (page) {
-            if (inside_region(page, ptentry, pages)) {
+            if (inside_region(ptable, ptentry, pages)) {
                 // we're modifying part of a valid mapped region
                 // arguments to invocation: invoke frame cap, first affected
                 // page (as offset from first page in mapping), #affected