1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * Copyright (C) 2009 Chen Liqin <liqin.chen@sunplusct.com>
4 * Copyright (C) 2012 Regents of the University of California
5 */
6
7 #ifndef _ASM_RISCV_TLBFLUSH_H
8 #define _ASM_RISCV_TLBFLUSH_H
9
10 #include <linux/mm_types.h>
11 #include <asm/smp.h>
12
13 #ifdef CONFIG_MMU
local_flush_tlb_all(void)14 static inline void local_flush_tlb_all(void)
15 {
16 __asm__ __volatile__ ("sfence.vma" : : : "memory");
17 }
18
19 /* Flush one page from local TLB */
local_flush_tlb_page(unsigned long addr)20 static inline void local_flush_tlb_page(unsigned long addr)
21 {
22 __asm__ __volatile__ ("sfence.vma %0" : : "r" (addr) : "memory");
23 }
24 #else /* CONFIG_MMU */
25 #define local_flush_tlb_all() do { } while (0)
26 #define local_flush_tlb_page(addr) do { } while (0)
27 #endif /* CONFIG_MMU */
28
29 #if defined(CONFIG_SMP) && defined(CONFIG_MMU)
30 void flush_tlb_all(void);
31 void flush_tlb_mm(struct mm_struct *mm);
32 void flush_tlb_page(struct vm_area_struct *vma, unsigned long addr);
33 void flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
34 unsigned long end);
35 #else /* CONFIG_SMP && CONFIG_MMU */
36
37 #define flush_tlb_all() local_flush_tlb_all()
38 #define flush_tlb_page(vma, addr) local_flush_tlb_page(addr)
39
flush_tlb_range(struct vm_area_struct * vma,unsigned long start,unsigned long end)40 static inline void flush_tlb_range(struct vm_area_struct *vma,
41 unsigned long start, unsigned long end)
42 {
43 local_flush_tlb_all();
44 }
45
46 #define flush_tlb_mm(mm) flush_tlb_all()
47 #endif /* !CONFIG_SMP || !CONFIG_MMU */
48
49 /* Flush a range of kernel pages */
flush_tlb_kernel_range(unsigned long start,unsigned long end)50 static inline void flush_tlb_kernel_range(unsigned long start,
51 unsigned long end)
52 {
53 flush_tlb_all();
54 }
55
56 #endif /* _ASM_RISCV_TLBFLUSH_H */
57