diff options
| author | Robert Morris <[email protected]> | 2019-09-03 15:45:07 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2019-09-03 15:45:07 -0400 |
| commit | 86a1d4b29570095ff7d668785ac9e37aa7436260 (patch) | |
| tree | 4824eae566c2622b32aee422181a629358f4fcc2 /kernel | |
| parent | 64b93d175ac6eb739036b394fbb0766fbf06f5b7 (diff) | |
| download | xv6-labs-86a1d4b29570095ff7d668785ac9e37aa7436260.tar.gz xv6-labs-86a1d4b29570095ff7d668785ac9e37aa7436260.tar.bz2 xv6-labs-86a1d4b29570095ff7d668785ac9e37aa7436260.zip | |
sfence_vma after satp
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/vm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vm.c b/kernel/vm.c index 3631c9c..7524998 100644 --- a/kernel/vm.c +++ b/kernel/vm.c @@ -54,8 +54,8 @@ kvminit() void kvminithart() { - sfence_vma(); w_satp(MAKE_SATP(kernel_pagetable)); + sfence_vma(); } // Return the address of the PTE in page table pagetable |