2 * linux/include/asm-arm/tlbflush.h
4 * Copyright (C) 1999-2003 Russell King
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 #ifndef _ASMARM_TLBFLUSH_H
11 #define _ASMARM_TLBFLUSH_H
16 #define tlb_flush(tlb) ((void) tlb)
18 #else /* CONFIG_MMU */
22 #define TLB_V3_PAGE (1 << 0)
23 #define TLB_V4_U_PAGE (1 << 1)
24 #define TLB_V4_D_PAGE (1 << 2)
25 #define TLB_V4_I_PAGE (1 << 3)
26 #define TLB_V6_U_PAGE (1 << 4)
27 #define TLB_V6_D_PAGE (1 << 5)
28 #define TLB_V6_I_PAGE (1 << 6)
30 #define TLB_V3_FULL (1 << 8)
31 #define TLB_V4_U_FULL (1 << 9)
32 #define TLB_V4_D_FULL (1 << 10)
33 #define TLB_V4_I_FULL (1 << 11)
34 #define TLB_V6_U_FULL (1 << 12)
35 #define TLB_V6_D_FULL (1 << 13)
36 #define TLB_V6_I_FULL (1 << 14)
38 #define TLB_V6_U_ASID (1 << 16)
39 #define TLB_V6_D_ASID (1 << 17)
40 #define TLB_V6_I_ASID (1 << 18)
42 #define TLB_DCLEAN (1 << 30)
43 #define TLB_WB (1 << 31)
49 * We have the following to choose from:
51 * v4 - ARMv4 without write buffer
52 * v4wb - ARMv4 with write buffer without I TLB flush entry instruction
53 * v4wbi - ARMv4 with write buffer with I TLB flush entry instruction
54 * v6wbi - ARMv6 with write buffer with I TLB flush entry instruction
59 #define v3_tlb_flags (TLB_V3_FULL | TLB_V3_PAGE)
61 #ifdef CONFIG_CPU_TLB_V3
62 # define v3_possible_flags v3_tlb_flags
63 # define v3_always_flags v3_tlb_flags
70 # define v3_possible_flags 0
71 # define v3_always_flags (-1UL)
74 #define v4_tlb_flags (TLB_V4_U_FULL | TLB_V4_U_PAGE)
76 #ifdef CONFIG_CPU_TLB_V4WT
77 # define v4_possible_flags v4_tlb_flags
78 # define v4_always_flags v4_tlb_flags
85 # define v4_possible_flags 0
86 # define v4_always_flags (-1UL)
89 #define v4wbi_tlb_flags (TLB_WB | TLB_DCLEAN | \
90 TLB_V4_I_FULL | TLB_V4_D_FULL | \
91 TLB_V4_I_PAGE | TLB_V4_D_PAGE)
93 #ifdef CONFIG_CPU_TLB_V4WBI
94 # define v4wbi_possible_flags v4wbi_tlb_flags
95 # define v4wbi_always_flags v4wbi_tlb_flags
102 # define v4wbi_possible_flags 0
103 # define v4wbi_always_flags (-1UL)
106 #define v4wb_tlb_flags (TLB_WB | TLB_DCLEAN | \
107 TLB_V4_I_FULL | TLB_V4_D_FULL | \
110 #ifdef CONFIG_CPU_TLB_V4WB
111 # define v4wb_possible_flags v4wb_tlb_flags
112 # define v4wb_always_flags v4wb_tlb_flags
119 # define v4wb_possible_flags 0
120 # define v4wb_always_flags (-1UL)
123 #define v6wbi_tlb_flags (TLB_WB | TLB_DCLEAN | \
124 TLB_V6_I_FULL | TLB_V6_D_FULL | \
125 TLB_V6_I_PAGE | TLB_V6_D_PAGE | \
126 TLB_V6_I_ASID | TLB_V6_D_ASID)
128 #ifdef CONFIG_CPU_TLB_V6
129 # define v6wbi_possible_flags v6wbi_tlb_flags
130 # define v6wbi_always_flags v6wbi_tlb_flags
137 # define v6wbi_possible_flags 0
138 # define v6wbi_always_flags (-1UL)
141 #ifdef CONFIG_CPU_TLB_V7
142 # define v7wbi_possible_flags v6wbi_tlb_flags
143 # define v7wbi_always_flags v6wbi_tlb_flags
150 # define v7wbi_possible_flags 0
151 # define v7wbi_always_flags (-1UL)
155 #error Unknown TLB model
160 #include <linux/sched.h>
163 void (*flush_user_range)(unsigned long, unsigned long, struct vm_area_struct *);
164 void (*flush_kern_range)(unsigned long, unsigned long);
165 unsigned long tlb_flags;
169 * Select the calling method
173 #define __cpu_flush_user_tlb_range cpu_tlb.flush_user_range
174 #define __cpu_flush_kern_tlb_range cpu_tlb.flush_kern_range
178 #define __cpu_flush_user_tlb_range __glue(_TLB,_flush_user_tlb_range)
179 #define __cpu_flush_kern_tlb_range __glue(_TLB,_flush_kern_tlb_range)
181 extern void __cpu_flush_user_tlb_range(unsigned long, unsigned long, struct vm_area_struct *);
182 extern void __cpu_flush_kern_tlb_range(unsigned long, unsigned long);
186 extern struct cpu_tlb_fns cpu_tlb;
188 #define __cpu_tlb_flags cpu_tlb.tlb_flags
194 * The arch/arm/mm/tlb-*.S files implement these methods.
196 * The TLB specific code is expected to perform whatever tests it
197 * needs to determine if it should invalidate the TLB for each
198 * call. Start addresses are inclusive and end addresses are
199 * exclusive; it is safe to round these addresses down.
203 * Invalidate the entire TLB.
207 * Invalidate all TLB entries in a particular address
209 * - mm - mm_struct describing address space
211 * flush_tlb_range(mm,start,end)
213 * Invalidate a range of TLB entries in the specified
215 * - mm - mm_struct describing address space
216 * - start - start address (may not be aligned)
217 * - end - end address (exclusive, may not be aligned)
219 * flush_tlb_page(vaddr,vma)
221 * Invalidate the specified page in the specified address range.
222 * - vaddr - virtual address (may not be aligned)
223 * - vma - vma_struct describing address range
225 * flush_kern_tlb_page(kaddr)
227 * Invalidate the TLB entry for the specified page. The address
228 * will be in the kernels virtual memory space. Current uses
229 * only require the D-TLB to be invalidated.
230 * - kaddr - Kernel virtual memory address
234 * We optimise the code below by:
235 * - building a set of TLB flags that might be set in __cpu_tlb_flags
236 * - building a set of TLB flags that will always be set in __cpu_tlb_flags
237 * - if we're going to need __cpu_tlb_flags, access it once and only once
239 * This allows us to build optimal assembly for the single-CPU type case,
240 * and as close to optimal given the compiler constrants for multi-CPU
241 * case. We could do better for the multi-CPU case if the compiler
242 * implemented the "%?" method, but this has been discontinued due to too
243 * many people getting it wrong.
245 #define possible_tlb_flags (v3_possible_flags | \
246 v4_possible_flags | \
247 v4wbi_possible_flags | \
248 v4wb_possible_flags | \
249 v6wbi_possible_flags)
251 #define always_tlb_flags (v3_always_flags & \
253 v4wbi_always_flags & \
254 v4wb_always_flags & \
257 #define tlb_flag(f) ((always_tlb_flags & (f)) || (__tlb_flag & possible_tlb_flags & (f)))
259 static inline void local_flush_tlb_all(void)
262 const unsigned int __tlb_flag = __cpu_tlb_flags;
264 if (tlb_flag(TLB_WB))
267 if (tlb_flag(TLB_V3_FULL))
268 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (zero) : "cc");
269 if (tlb_flag(TLB_V4_U_FULL | TLB_V6_U_FULL))
270 asm("mcr p15, 0, %0, c8, c7, 0" : : "r" (zero) : "cc");
271 if (tlb_flag(TLB_V4_D_FULL | TLB_V6_D_FULL))
272 asm("mcr p15, 0, %0, c8, c6, 0" : : "r" (zero) : "cc");
273 if (tlb_flag(TLB_V4_I_FULL | TLB_V6_I_FULL))
274 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
276 if (tlb_flag(TLB_V6_I_FULL | TLB_V6_D_FULL |
277 TLB_V6_I_PAGE | TLB_V6_D_PAGE |
278 TLB_V6_I_ASID | TLB_V6_D_ASID)) {
279 /* flush the branch target cache */
280 asm("mcr p15, 0, %0, c7, c5, 6" : : "r" (zero) : "cc");
286 static inline void local_flush_tlb_mm(struct mm_struct *mm)
289 const int asid = ASID(mm);
290 const unsigned int __tlb_flag = __cpu_tlb_flags;
292 if (tlb_flag(TLB_WB))
295 if (cpu_isset(smp_processor_id(), mm->cpu_vm_mask)) {
296 if (tlb_flag(TLB_V3_FULL))
297 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (zero) : "cc");
298 if (tlb_flag(TLB_V4_U_FULL))
299 asm("mcr p15, 0, %0, c8, c7, 0" : : "r" (zero) : "cc");
300 if (tlb_flag(TLB_V4_D_FULL))
301 asm("mcr p15, 0, %0, c8, c6, 0" : : "r" (zero) : "cc");
302 if (tlb_flag(TLB_V4_I_FULL))
303 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
306 if (tlb_flag(TLB_V6_U_ASID))
307 asm("mcr p15, 0, %0, c8, c7, 2" : : "r" (asid) : "cc");
308 if (tlb_flag(TLB_V6_D_ASID))
309 asm("mcr p15, 0, %0, c8, c6, 2" : : "r" (asid) : "cc");
310 if (tlb_flag(TLB_V6_I_ASID))
311 asm("mcr p15, 0, %0, c8, c5, 2" : : "r" (asid) : "cc");
313 if (tlb_flag(TLB_V6_I_FULL | TLB_V6_D_FULL |
314 TLB_V6_I_PAGE | TLB_V6_D_PAGE |
315 TLB_V6_I_ASID | TLB_V6_D_ASID)) {
316 /* flush the branch target cache */
317 asm("mcr p15, 0, %0, c7, c5, 6" : : "r" (zero) : "cc");
323 local_flush_tlb_page(struct vm_area_struct *vma, unsigned long uaddr)
326 const unsigned int __tlb_flag = __cpu_tlb_flags;
328 uaddr = (uaddr & PAGE_MASK) | ASID(vma->vm_mm);
330 if (tlb_flag(TLB_WB))
333 if (cpu_isset(smp_processor_id(), vma->vm_mm->cpu_vm_mask)) {
334 if (tlb_flag(TLB_V3_PAGE))
335 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (uaddr) : "cc");
336 if (tlb_flag(TLB_V4_U_PAGE))
337 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (uaddr) : "cc");
338 if (tlb_flag(TLB_V4_D_PAGE))
339 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (uaddr) : "cc");
340 if (tlb_flag(TLB_V4_I_PAGE))
341 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (uaddr) : "cc");
342 if (!tlb_flag(TLB_V4_I_PAGE) && tlb_flag(TLB_V4_I_FULL))
343 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
346 if (tlb_flag(TLB_V6_U_PAGE))
347 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (uaddr) : "cc");
348 if (tlb_flag(TLB_V6_D_PAGE))
349 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (uaddr) : "cc");
350 if (tlb_flag(TLB_V6_I_PAGE))
351 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (uaddr) : "cc");
353 if (tlb_flag(TLB_V6_I_FULL | TLB_V6_D_FULL |
354 TLB_V6_I_PAGE | TLB_V6_D_PAGE |
355 TLB_V6_I_ASID | TLB_V6_D_ASID)) {
356 /* flush the branch target cache */
357 asm("mcr p15, 0, %0, c7, c5, 6" : : "r" (zero) : "cc");
362 static inline void local_flush_tlb_kernel_page(unsigned long kaddr)
365 const unsigned int __tlb_flag = __cpu_tlb_flags;
369 if (tlb_flag(TLB_WB))
372 if (tlb_flag(TLB_V3_PAGE))
373 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (kaddr) : "cc");
374 if (tlb_flag(TLB_V4_U_PAGE))
375 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (kaddr) : "cc");
376 if (tlb_flag(TLB_V4_D_PAGE))
377 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (kaddr) : "cc");
378 if (tlb_flag(TLB_V4_I_PAGE))
379 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (kaddr) : "cc");
380 if (!tlb_flag(TLB_V4_I_PAGE) && tlb_flag(TLB_V4_I_FULL))
381 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
383 if (tlb_flag(TLB_V6_U_PAGE))
384 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (kaddr) : "cc");
385 if (tlb_flag(TLB_V6_D_PAGE))
386 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (kaddr) : "cc");
387 if (tlb_flag(TLB_V6_I_PAGE))
388 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (kaddr) : "cc");
390 if (tlb_flag(TLB_V6_I_FULL | TLB_V6_D_FULL |
391 TLB_V6_I_PAGE | TLB_V6_D_PAGE |
392 TLB_V6_I_ASID | TLB_V6_D_ASID)) {
393 /* flush the branch target cache */
394 asm("mcr p15, 0, %0, c7, c5, 6" : : "r" (zero) : "cc");
403 * Flush a PMD entry (word aligned, or double-word aligned) to
404 * RAM if the TLB for the CPU we are running on requires this.
405 * This is typically used when we are creating PMD entries.
409 * Clean (but don't drain the write buffer) if the CPU requires
410 * these operations. This is typically used when we are removing
413 static inline void flush_pmd_entry(pmd_t *pmd)
415 const unsigned int __tlb_flag = __cpu_tlb_flags;
417 if (tlb_flag(TLB_DCLEAN))
418 asm("mcr p15, 0, %0, c7, c10, 1 @ flush_pmd"
419 : : "r" (pmd) : "cc");
420 if (tlb_flag(TLB_WB))
424 static inline void clean_pmd_entry(pmd_t *pmd)
426 const unsigned int __tlb_flag = __cpu_tlb_flags;
428 if (tlb_flag(TLB_DCLEAN))
429 asm("mcr p15, 0, %0, c7, c10, 1 @ flush_pmd"
430 : : "r" (pmd) : "cc");
434 #undef always_tlb_flags
435 #undef possible_tlb_flags
438 * Convert calls to our calling convention.
440 #define local_flush_tlb_range(vma,start,end) __cpu_flush_user_tlb_range(start,end,vma)
441 #define local_flush_tlb_kernel_range(s,e) __cpu_flush_kern_tlb_range(s,e)
444 #define flush_tlb_all local_flush_tlb_all
445 #define flush_tlb_mm local_flush_tlb_mm
446 #define flush_tlb_page local_flush_tlb_page
447 #define flush_tlb_kernel_page local_flush_tlb_kernel_page
448 #define flush_tlb_range local_flush_tlb_range
449 #define flush_tlb_kernel_range local_flush_tlb_kernel_range
451 extern void flush_tlb_all(void);
452 extern void flush_tlb_mm(struct mm_struct *mm);
453 extern void flush_tlb_page(struct vm_area_struct *vma, unsigned long uaddr);
454 extern void flush_tlb_kernel_page(unsigned long kaddr);
455 extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end);
456 extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
460 * if PG_dcache_dirty is set for the page, we need to ensure that any
461 * cache entries for the kernels virtual memory range are written
464 extern void update_mmu_cache(struct vm_area_struct *vma, unsigned long addr, pte_t pte);
467 * ARM processors do not cache TLB tables in RAM.
469 #define flush_tlb_pgtables(mm,start,end) do { } while (0)
473 #endif /* CONFIG_MMU */