From ebc39372096280a4a5957d3e3836c859e5d78a79 Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Tue, 16 Jul 2019 17:02:21 -0400
Subject: conservatively call sfence.vma before every satp load.

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

(limited to 'kernel/vm.c')

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));
 }
 
-- 
cgit v1.2.3