arch/riscv/include/asm/tlbflush.h

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