diff options
| author | Alexandre Ghiti <alexghiti@rivosinc.com> | 2024-01-28 13:04:05 +0100 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@rivosinc.com> | 2024-02-06 16:57:16 -0800 |
| commit | 97cf301fa42e8ea6e0a24de97bc0abcdc87d9504 (patch) | |
| tree | e77cdffeafcce5dc02c867ebf41498bbcd42e55e /scripts/gdb/linux/mm.py | |
| parent | 168b849728c2c47ddaab1408049561100bb7ea51 (diff) | |
riscv: Flush the tlb when a page directory is freed
The riscv privileged specification mandates to flush the TLB whenever a
page directory is modified, so add that to tlb_flush().
Fixes: c5e9b2c2ae82 ("riscv: Improve tlb_flush()")
Signed-off-by: Alexandre Ghiti <alexghiti@rivosinc.com>
Reviewed-by: Charlie Jenkins <charlie@rivosinc.com>
Link: https://lore.kernel.org/r/20240128120405.25876-1-alexghiti@rivosinc.com
Signed-off-by: Palmer Dabbelt <palmer@rivosinc.com>
Diffstat (limited to 'scripts/gdb/linux/mm.py')
0 files changed, 0 insertions, 0 deletions