diff options
| author | Austin Clements <[email protected]> | 2010-09-01 00:32:27 -0400 |
|---|---|---|
| committer | Austin Clements <[email protected]> | 2010-09-01 00:32:27 -0400 |
| commit | 5efca9054f1911e206831e16c2ca5ac8c8fc7c12 (patch) | |
| tree | bf0b4d61b43dfca860c4c93e01fd1ad7fa7f7dbf /vm.c | |
| parent | 5c4dc7395b75d8b41c1104fe59a0d14d81a8a428 (diff) | |
| download | xv6-labs-5efca9054f1911e206831e16c2ca5ac8c8fc7c12.tar.gz xv6-labs-5efca9054f1911e206831e16c2ca5ac8c8fc7c12.tar.bz2 xv6-labs-5efca9054f1911e206831e16c2ca5ac8c8fc7c12.zip | |
Tab police
Diffstat (limited to 'vm.c')
| -rw-r--r-- | vm.c | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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; |