diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-07-06 03:23:58 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-07-06 03:23:58 -0700 |
| commit | f6eff201069564ea01100d556b079f99e076dd09 (patch) | |
| tree | 0b8932b0f1dd3dcf70ec86e972b91b2f97d2e5c0 /machine/vm.h | |
| parent | 8b41191ccdf19f08662e2eb674a2eddc717d5108 (diff) | |
| download | pk-f6eff201069564ea01100d556b079f99e076dd09.zip pk-f6eff201069564ea01100d556b079f99e076dd09.tar.gz pk-f6eff201069564ea01100d556b079f99e076dd09.tar.bz2 | |
Udpate to new PTE format
Diffstat (limited to 'machine/vm.h')
| -rw-r--r-- | machine/vm.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/machine/vm.h b/machine/vm.h index f51c639..dd9bf59 100644 --- a/machine/vm.h +++ b/machine/vm.h @@ -29,7 +29,7 @@ static inline pte_t pte_create(uintptr_t ppn, int type) static inline pte_t ptd_create(uintptr_t ppn) { - return pte_create(ppn, PTE_TYPE_TABLE); + return pte_create(ppn, PTE_V); } #endif |