summaryrefslogtreecommitdiff
path: root/vm.c
diff options
context:
space:
mode:
authorAustin Clements <[email protected]>2010-09-01 00:32:27 -0400
committerAustin Clements <[email protected]>2010-09-01 00:32:27 -0400
commit5efca9054f1911e206831e16c2ca5ac8c8fc7c12 (patch)
treebf0b4d61b43dfca860c4c93e01fd1ad7fa7f7dbf /vm.c
parent5c4dc7395b75d8b41c1104fe59a0d14d81a8a428 (diff)
downloadxv6-labs-5efca9054f1911e206831e16c2ca5ac8c8fc7c12.tar.gz
xv6-labs-5efca9054f1911e206831e16c2ca5ac8c8fc7c12.tar.bz2
xv6-labs-5efca9054f1911e206831e16c2ca5ac8c8fc7c12.zip
Tab police
Diffstat (limited to 'vm.c')
-rw-r--r--vm.c14
1 files changed, 7 insertions, 7 deletions
diff --git a/vm.c b/vm.c
index a60c915..c3601a4 100644
--- a/vm.c
+++ b/vm.c
@@ -244,13 +244,13 @@ freevm(pde_t *pgdir)
if (da != 0) {
pte_t *pgtab = (pte_t*) da;
for (j = 0; j < NPTENTRIES; j++) {
- if (pgtab[j] != 0) {
- uint pa = PTE_ADDR(pgtab[j]);
- uint va = PGADDR(i, j, 0);
- if (va < USERTOP) // user memory
+ if (pgtab[j] != 0) {
+ uint pa = PTE_ADDR(pgtab[j]);
+ uint va = PGADDR(i, j, 0);
+ if (va < USERTOP) // user memory
kfree((void *) pa);
- pgtab[j] = 0;
- }
+ pgtab[j] = 0;
+ }
}
kfree((void *) da);
pgdir[i] = 0;
@@ -287,7 +287,7 @@ inituvm(pde_t *pgdir, char *addr, char *init, uint sz)
for (i = 0; i < sz; i += PGSIZE) {
if (!(pte = walkpgdir(pgdir, (void *)(i+addr), 0)))
- panic("inituvm: pte should exist\n");
+ panic("inituvm: pte should exist\n");
off = (i+(uint)addr) % PGSIZE;
pa = PTE_ADDR(*pte);
if (sz - i < PGSIZE) n = sz - i;