diff options
author | Robert Morris <[email protected]> | 2020-08-13 08:04:56 -0400 |
---|---|---|
committer | Robert Morris <[email protected]> | 2020-08-13 08:04:56 -0400 |
commit | d32eac366fd06ec58cc3b34a3ca1824864bd7618 (patch) | |
tree | d1d416c625888ed7fe627864cface958f534a7c7 | |
parent | 6cb6764bb1778b8c4f92680295f928fec074e3d7 (diff) | |
download | xv6-labs-d32eac366fd06ec58cc3b34a3ca1824864bd7618.tar.gz xv6-labs-d32eac366fd06ec58cc3b34a3ca1824864bd7618.tar.bz2 xv6-labs-d32eac366fd06ec58cc3b34a3ca1824864bd7618.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 4f65d4e..d45210a 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; } } |