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 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 */ 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 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 */ 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