1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 /*
3 * Copyright (C) 2010 Tobias Klauser <tklauser@distanz.ch>
4 */
5
6 #ifndef _ASM_NIOS2_TLBFLUSH_H
7 #define _ASM_NIOS2_TLBFLUSH_H
8
9 struct mm_struct;
10
11 /*
12 * TLB flushing:
13 *
14 * - flush_tlb_all() flushes all processes TLB entries
15 * - flush_tlb_mm(mm) flushes the specified mm context TLB entries
16 * - flush_tlb_range(vma, start, end) flushes a range of pages
17 * - flush_tlb_page(vma, address) flushes a page
18 * - flush_tlb_kernel_range(start, end) flushes a range of kernel pages
19 * - flush_tlb_kernel_page(address) flushes a kernel page
20 *
21 * - reload_tlb_page(vma, address, pte) flushes the TLB for address like
22 * flush_tlb_page, then replaces it with a TLB for pte.
23 */
24 extern void flush_tlb_all(void);
25 extern void flush_tlb_mm(struct mm_struct *mm);
26 extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
27 unsigned long end);
28 extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
29
flush_tlb_page(struct vm_area_struct * vma,unsigned long address)30 static inline void flush_tlb_page(struct vm_area_struct *vma,
31 unsigned long address)
32 {
33 flush_tlb_range(vma, address, address + PAGE_SIZE);
34 }
35
flush_tlb_kernel_page(unsigned long address)36 static inline void flush_tlb_kernel_page(unsigned long address)
37 {
38 flush_tlb_kernel_range(address, address + PAGE_SIZE);
39 }
40
41 extern void reload_tlb_page(struct vm_area_struct *vma, unsigned long addr,
42 pte_t pte);
43
44 #endif /* _ASM_NIOS2_TLBFLUSH_H */
45