From 86a1d4b29570095ff7d668785ac9e37aa7436260 Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Tue, 3 Sep 2019 15:45:07 -0400
Subject: [PATCH] sfence_vma after satp

---
 kernel/vm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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