Post-refactor fixes.

2023-06-20 13:27:55 +02:00
parent 34b4512dbd
commit 8dfa73db35
5 changed files with 18 additions and 13 deletions
@@ -85,7 +85,7 @@ pub fn resource() -> Result<Vec<u8>> {
                memory += kstack.len();
            }
            if let Ok(addr_space) = context.addr_space() {
-                for (base, info) in addr_space.read().grants.iter() {
+                for (_base, info) in addr_space.read().grants.iter() {
                    if info.is_owned() {
                        memory += info.page_count() * PAGE_SIZE;
                    }