WIP: Make cow/shared refcounts mutually exclusive.

2023-07-13 14:23:16 +02:00
parent 113cb5ed4e
commit 0f1b5b9b6f
4 changed files with 226 additions and 91 deletions
@@ -280,7 +280,7 @@ pub unsafe fn check_consistency(addr_space: &mut crate::context::memory::AddrSpa
        }
    }

-    for (base, info) in addr_space.grants.iter() {
+    /*for (base, info) in addr_space.grants.iter() {
        let span = PageSpan::new(base, info.page_count());
        for page in span.pages() {
            let _entry = match addr_space.table.utable.translate(page.start_address()) {
@@ -291,5 +291,5 @@ pub unsafe fn check_consistency(addr_space: &mut crate::context::memory::AddrSpa
                }
            };
        }
-    }
+    }*/
 }