diff options
| author | Robert Morris <[email protected]> | 2019-07-16 17:02:21 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2019-07-16 17:02:21 -0400 |
| commit | ebc39372096280a4a5957d3e3836c859e5d78a79 (patch) | |
| tree | 8df08ba410ac0f829b120f76e896bfe3658ddb96 /kernel/vm.c | |
| parent | 6bbc2b2245c5b006824eb42ef33d5b296158a693 (diff) | |
| download | xv6-labs-ebc39372096280a4a5957d3e3836c859e5d78a79.tar.gz xv6-labs-ebc39372096280a4a5957d3e3836c859e5d78a79.tar.bz2 xv6-labs-ebc39372096280a4a5957d3e3836c859e5d78a79.zip | |
conservatively call sfence.vma before every satp load.
Diffstat (limited to 'kernel/vm.c')
| -rw-r--r-- | kernel/vm.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/vm.c b/kernel/vm.c index bdb53c2..412ec8c 100644 --- a/kernel/vm.c +++ b/kernel/vm.c @@ -61,6 +61,7 @@ kvminit() void kvminithart() { + sfence_vma(); w_satp(MAKE_SATP(kernel_pagetable)); } |