1*4882a593Smuzhiyun /* SPDX-License-Identifier: GPL-2.0 */ 2*4882a593Smuzhiyun // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. 3*4882a593Smuzhiyun 4*4882a593Smuzhiyun #ifndef __ASM_TLBFLUSH_H 5*4882a593Smuzhiyun #define __ASM_TLBFLUSH_H 6*4882a593Smuzhiyun 7*4882a593Smuzhiyun /* 8*4882a593Smuzhiyun * TLB flushing: 9*4882a593Smuzhiyun * 10*4882a593Smuzhiyun * - flush_tlb_all() flushes all processes TLB entries 11*4882a593Smuzhiyun * - flush_tlb_mm(mm) flushes the specified mm context TLB entries 12*4882a593Smuzhiyun * - flush_tlb_page(vma, vmaddr) flushes one page 13*4882a593Smuzhiyun * - flush_tlb_range(vma, start, end) flushes a range of pages 14*4882a593Smuzhiyun * - flush_tlb_kernel_range(start, end) flushes a range of kernel pages 15*4882a593Smuzhiyun */ 16*4882a593Smuzhiyun extern void flush_tlb_all(void); 17*4882a593Smuzhiyun extern void flush_tlb_mm(struct mm_struct *mm); 18*4882a593Smuzhiyun extern void flush_tlb_page(struct vm_area_struct *vma, unsigned long page); 19*4882a593Smuzhiyun extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, 20*4882a593Smuzhiyun unsigned long end); 21*4882a593Smuzhiyun extern void flush_tlb_kernel_range(unsigned long start, unsigned long end); 22*4882a593Smuzhiyun 23*4882a593Smuzhiyun extern void flush_tlb_one(unsigned long vaddr); 24*4882a593Smuzhiyun 25*4882a593Smuzhiyun #endif 26