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 #include <asm/errata_list.h>
13 
14 #ifdef CONFIG_MMU
local_flush_tlb_all(void)15 static inline void local_flush_tlb_all(void)
16 {
17 	__asm__ __volatile__ ("sfence.vma" : : : "memory");
18 }
19 
20 /* Flush one page from local TLB */
local_flush_tlb_page(unsigned long addr)21 static inline void local_flush_tlb_page(unsigned long addr)
22 {
23 	ALT_FLUSH_TLB_PAGE(__asm__ __volatile__ ("sfence.vma %0" : : "r" (addr) : "memory"));
24 }
25 #else /* CONFIG_MMU */
26 #define local_flush_tlb_all()			do { } while (0)
27 #define local_flush_tlb_page(addr)		do { } while (0)
28 #endif /* CONFIG_MMU */
29 
30 #if defined(CONFIG_SMP) && defined(CONFIG_MMU)
31 void flush_tlb_all(void);
32 void flush_tlb_mm(struct mm_struct *mm);
33 void flush_tlb_page(struct vm_area_struct *vma, unsigned long addr);
34 void flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
35 		     unsigned long end);
36 #else /* CONFIG_SMP && CONFIG_MMU */
37 
38 #define flush_tlb_all() local_flush_tlb_all()
39 #define flush_tlb_page(vma, addr) local_flush_tlb_page(addr)
40 
flush_tlb_range(struct vm_area_struct * vma,unsigned long start,unsigned long end)41 static inline void flush_tlb_range(struct vm_area_struct *vma,
42 		unsigned long start, unsigned long end)
43 {
44 	local_flush_tlb_all();
45 }
46 
47 #define flush_tlb_mm(mm) flush_tlb_all()
48 #endif /* !CONFIG_SMP || !CONFIG_MMU */
49 
50 /* Flush a range of kernel pages */
flush_tlb_kernel_range(unsigned long start,unsigned long end)51 static inline void flush_tlb_kernel_range(unsigned long start,
52 	unsigned long end)
53 {
54 	flush_tlb_all();
55 }
56 
57 #endif /* _ASM_RISCV_TLBFLUSH_H */
58