From 9b9e2dd0f24428659d1f931009dd6429a9f5f1ac Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Tue, 3 Sep 2019 16:25:11 -0400
Subject: [PATCH] fix sfence_vma comment

---
 kernel/riscv.h | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/kernel/riscv.h b/kernel/riscv.h
index 0f83db6..9df3cc0 100644
--- a/kernel/riscv.h
+++ b/kernel/riscv.h
@@ -312,10 +312,7 @@ r_ra()
   return x;
 }
 
-// tell the machine to finish any previous writes to
-// PTEs, so that a subsequent use of a virtual
-// address or load of the SATP will see those writes.
-// perhaps this also flushes the TLB.
+// flush the TLB.
 static inline void
 sfence_vma()
 {