diff options
| author | Robert Morris <[email protected]> | 2020-08-13 08:04:56 -0400 |
|---|---|---|
| committer | Frans Kaashoek <[email protected]> | 2020-08-17 08:18:23 -0400 |
| commit | e283514ad038b7a14f58413e809c7a74766b738e (patch) | |
| tree | 79bc9fa5898946b04e61b3366003b117bf6773c2 | |
| parent | 56e7cebdb957ef12fcd9c0800887cd44fb5c250d (diff) | |
| download | xv6-labs-e283514ad038b7a14f58413e809c7a74766b738e.tar.gz xv6-labs-e283514ad038b7a14f58413e809c7a74766b738e.tar.bz2 xv6-labs-e283514ad038b7a14f58413e809c7a74766b738e.zip | |
pa isn't needed in the uvmunmap() loop
| -rw-r--r-- | kernel/vm.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/kernel/vm.c b/kernel/vm.c index 636f11a..b48a022 100644 --- a/kernel/vm.c +++ b/kernel/vm.c @@ -175,7 +175,6 @@ uvmunmap(pagetable_t pagetable, uint64 va, uint64 size, int do_free) { uint64 a, last; pte_t *pte; - uint64 pa; a = PGROUNDDOWN(va); last = PGROUNDDOWN(va + size - 1); @@ -189,14 +188,13 @@ uvmunmap(pagetable_t pagetable, uint64 va, uint64 size, int do_free) if(PTE_FLAGS(*pte) == PTE_V) panic("uvmunmap: not a leaf"); if(do_free){ - pa = PTE2PA(*pte); + uint64 pa = PTE2PA(*pte); kfree((void*)pa); } *pte = 0; if(a == last) break; a += PGSIZE; - pa += PGSIZE; } } |