diff options
| -rw-r--r-- | kernel/riscv.h | 5 |
1 files changed, 1 insertions, 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() { |