1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * Copyright (C) 2008-2009 Michal Simek <monstr@monstr.eu>
4 * Copyright (C) 2008-2009 PetaLogix
5 * Copyright (C) 2006 Atmark Techno, Inc.
6 */
7
8 #ifndef _ASM_MICROBLAZE_TLBFLUSH_H
9 #define _ASM_MICROBLAZE_TLBFLUSH_H
10
11 #include <linux/sched.h>
12 #include <linux/threads.h>
13 #include <asm/processor.h> /* For TASK_SIZE */
14 #include <asm/mmu.h>
15 #include <asm/page.h>
16
17 extern void _tlbie(unsigned long address);
18 extern void _tlbia(void);
19
20 #define __tlbia() { preempt_disable(); _tlbia(); preempt_enable(); }
21 #define __tlbie(x) { _tlbie(x); }
22
23 static inline void local_flush_tlb_all(void)
24 { __tlbia(); }
25 static inline void local_flush_tlb_mm(struct mm_struct *mm)
26 { __tlbia(); }
27 static inline void local_flush_tlb_page(struct vm_area_struct *vma,
28 unsigned long vmaddr)
29 { __tlbie(vmaddr); }
30 static inline void local_flush_tlb_range(struct vm_area_struct *vma,
31 unsigned long start, unsigned long end)
32 { __tlbia(); }
33
34 #define flush_tlb_kernel_range(start, end) do { } while (0)
35
36 #define update_mmu_cache_range(vmf, vma, addr, ptep, nr) do { } while (0)
37 #define update_mmu_cache(vma, addr, pte) \
38 update_mmu_cache_range(NULL, vma, addr, ptep, 1)
39
40 #define flush_tlb_all local_flush_tlb_all
41 #define flush_tlb_mm local_flush_tlb_mm
42 #define flush_tlb_page local_flush_tlb_page
43 #define flush_tlb_range local_flush_tlb_range
44
45 /*
46 * This is called in munmap when we have freed up some page-table
47 * pages. We don't need to do anything here, there's nothing special
48 * about our page-table pages. -- paulus
49 */
50 static inline void flush_tlb_pgtables(struct mm_struct *mm,
51 unsigned long start, unsigned long end) { }
52
53 #endif /* _ASM_MICROBLAZE_TLBFLUSH_H */
54
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.