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()
 {