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