2 * Based on arch/arm/include/asm/tlbflush.h
4 * Copyright (C) 1999-2003 Russell King
5 * Copyright (C) 2012 ARM Ltd.
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 #ifndef __ASM_TLBFLUSH_H
20 #define __ASM_TLBFLUSH_H
24 #include <linux/sched.h>
25 #include <asm/cputype.h>
27 extern void __cpu_flush_user_tlb_range(unsigned long, unsigned long, struct vm_area_struct
*);
28 extern void __cpu_flush_kern_tlb_range(unsigned long, unsigned long);
30 extern struct cpu_tlb_fns cpu_tlb
;
36 * The arch/arm64/mm/tlb.S files implement these methods.
38 * The TLB specific code is expected to perform whatever tests it needs
39 * to determine if it should invalidate the TLB for each call. Start
40 * addresses are inclusive and end addresses are exclusive; it is safe to
41 * round these addresses down.
45 * Invalidate the entire TLB.
49 * Invalidate all TLB entries in a particular address space.
50 * - mm - mm_struct describing address space
52 * flush_tlb_range(mm,start,end)
54 * Invalidate a range of TLB entries in the specified address
56 * - mm - mm_struct describing address space
57 * - start - start address (may not be aligned)
58 * - end - end address (exclusive, may not be aligned)
60 * flush_tlb_page(vaddr,vma)
62 * Invalidate the specified page in the specified address range.
63 * - vaddr - virtual address (may not be aligned)
64 * - vma - vma_struct describing address range
66 * flush_kern_tlb_page(kaddr)
68 * Invalidate the TLB entry for the specified page. The address
69 * will be in the kernels virtual memory space. Current uses
70 * only require the D-TLB to be invalidated.
71 * - kaddr - Kernel virtual memory address
73 static inline void flush_tlb_all(void)
76 asm("tlbi vmalle1is");
81 static inline void flush_tlb_mm(struct mm_struct
*mm
)
83 unsigned long asid
= (unsigned long)ASID(mm
) << 48;
86 asm("tlbi aside1is, %0" : : "r" (asid
));
90 static inline void flush_tlb_page(struct vm_area_struct
*vma
,
93 unsigned long addr
= uaddr
>> 12 |
94 ((unsigned long)ASID(vma
->vm_mm
) << 48);
97 asm("tlbi vae1is, %0" : : "r" (addr
));
102 * Convert calls to our calling convention.
104 #define flush_tlb_range(vma,start,end) __cpu_flush_user_tlb_range(start,end,vma)
105 #define flush_tlb_kernel_range(s,e) __cpu_flush_kern_tlb_range(s,e)
108 * On AArch64, the cache coherency is handled via the set_pte_at() function.
110 static inline void update_mmu_cache(struct vm_area_struct
*vma
,
111 unsigned long addr
, pte_t
*ptep
)
114 * set_pte() does not have a DSB, so make sure that the page table