1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (C) 2020-2022 Loongson Technology Corporation Limited 4 */ 5 #ifndef __ASM_TLBFLUSH_H 6 #define __ASM_TLBFLUSH_H 7 8 #include <linux/mm.h> 9 10 /* 11 * TLB flushing: 12 * 13 * - flush_tlb_all() flushes all processes TLB entries 14 * - flush_tlb_mm(mm) flushes the specified mm context TLB entries 15 * - flush_tlb_page(vma, vmaddr) flushes one page 16 * - flush_tlb_range(vma, start, end) flushes a range of pages 17 * - flush_tlb_kernel_range(start, end) flushes a range of kernel pages 18 */ 19 extern void local_flush_tlb_all(void); 20 extern void local_flush_tlb_user(void); 21 extern void local_flush_tlb_kernel(void); 22 extern void local_flush_tlb_mm(struct mm_struct *mm); 23 extern void local_flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end); 24 extern void local_flush_tlb_kernel_range(unsigned long start, unsigned long end); 25 extern void local_flush_tlb_page(struct vm_area_struct *vma, unsigned long page); 26 extern void local_flush_tlb_one(unsigned long vaddr); 27 28 #ifdef CONFIG_SMP 29 30 extern void flush_tlb_all(void); 31 extern void flush_tlb_mm(struct mm_struct *); 32 extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long, unsigned long); 33 extern void flush_tlb_kernel_range(unsigned long, unsigned long); 34 extern void flush_tlb_page(struct vm_area_struct *, unsigned long); 35 extern void flush_tlb_one(unsigned long vaddr); 36 37 #else /* CONFIG_SMP */ 38 39 #define flush_tlb_all() local_flush_tlb_all() 40 #define flush_tlb_mm(mm) local_flush_tlb_mm(mm) 41 #define flush_tlb_range(vma, vmaddr, end) local_flush_tlb_range(vma, vmaddr, end) 42 #define flush_tlb_kernel_range(vmaddr, end) local_flush_tlb_kernel_range(vmaddr, end) 43 #define flush_tlb_page(vma, page) local_flush_tlb_page(vma, page) 44 #define flush_tlb_one(vaddr) local_flush_tlb_one(vaddr) 45 46 #endif /* CONFIG_SMP */ 47 48 #endif /* __ASM_TLBFLUSH_H */ 49
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.