1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * Copyright (C) 2010 Tobias Klauser <tklauser@distanz.ch>
6 #ifndef _ASM_NIOS2_TLBFLUSH_H
7 #define _ASM_NIOS2_TLBFLUSH_H
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
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.
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
,
28 extern void flush_tlb_kernel_range(unsigned long start
, unsigned long end
);
30 static inline void flush_tlb_page(struct vm_area_struct
*vma
,
31 unsigned long address
)
33 flush_tlb_range(vma
, address
, address
+ PAGE_SIZE
);
36 static inline void flush_tlb_kernel_page(unsigned long address
)
38 flush_tlb_kernel_range(address
, address
+ PAGE_SIZE
);
41 extern void reload_tlb_page(struct vm_area_struct
*vma
, unsigned long addr
,
44 #endif /* _ASM_NIOS2_TLBFLUSH_H */