1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2008-2009 Michal Simek <monstr@monstr.eu>
4 * Copyright (C) 2008-2009 PetaLogix
5 * Copyright (C) 2006 Atmark Techno, Inc.
8 #ifndef _ASM_MICROBLAZE_TLBFLUSH_H
9 #define _ASM_MICROBLAZE_TLBFLUSH_H
11 #include <linux/sched.h>
12 #include <linux/threads.h>
13 #include <asm/processor.h> /* For TASK_SIZE */
17 extern void _tlbie(unsigned long address
);
18 extern void _tlbia(void);
20 #define __tlbia() { preempt_disable(); _tlbia(); preempt_enable(); }
21 #define __tlbie(x) { _tlbie(x); }
23 static inline void local_flush_tlb_all(void)
25 static inline void local_flush_tlb_mm(struct mm_struct
*mm
)
27 static inline void local_flush_tlb_page(struct vm_area_struct
*vma
,
30 static inline void local_flush_tlb_range(struct vm_area_struct
*vma
,
31 unsigned long start
, unsigned long end
)
34 #define flush_tlb_kernel_range(start, end) do { } while (0)
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)
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
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
50 static inline void flush_tlb_pgtables(struct mm_struct
*mm
,
51 unsigned long start
, unsigned long end
) { }
53 #endif /* _ASM_MICROBLAZE_TLBFLUSH_H */