blob: 8c6bc1bb9d1a5cb83c0abe7359841c1c48011bf0 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * linux/include/asm-arm/tlbflush.h
3 *
4 * Copyright (C) 1999-2003 Russell King
5 *
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.
9 */
10#ifndef _ASMARM_TLBFLUSH_H
11#define _ASMARM_TLBFLUSH_H
12
Hyok S. Choi01579032006-02-24 21:41:25 +000013
14#ifndef CONFIG_MMU
15
16#define tlb_flush(tlb) ((void) tlb)
17
Russell Kingfb1c7762006-02-24 21:44:56 +000018#else /* CONFIG_MMU */
Hyok S. Choi01579032006-02-24 21:41:25 +000019
Linus Torvalds1da177e2005-04-16 15:20:36 -070020#include <asm/glue.h>
21
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)
29
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)
37
38#define TLB_V6_U_ASID (1 << 16)
39#define TLB_V6_D_ASID (1 << 17)
40#define TLB_V6_I_ASID (1 << 18)
41
42#define TLB_DCLEAN (1 << 30)
43#define TLB_WB (1 << 31)
44
45/*
46 * MMU TLB Model
47 * =============
48 *
49 * We have the following to choose from:
50 * v3 - ARMv3
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
55 */
56#undef _TLB
57#undef MULTI_TLB
58
59#define v3_tlb_flags (TLB_V3_FULL | TLB_V3_PAGE)
60
61#ifdef CONFIG_CPU_TLB_V3
62# define v3_possible_flags v3_tlb_flags
63# define v3_always_flags v3_tlb_flags
64# ifdef _TLB
65# define MULTI_TLB 1
66# else
67# define _TLB v3
68# endif
69#else
70# define v3_possible_flags 0
71# define v3_always_flags (-1UL)
72#endif
73
74#define v4_tlb_flags (TLB_V4_U_FULL | TLB_V4_U_PAGE)
75
76#ifdef CONFIG_CPU_TLB_V4WT
77# define v4_possible_flags v4_tlb_flags
78# define v4_always_flags v4_tlb_flags
79# ifdef _TLB
80# define MULTI_TLB 1
81# else
82# define _TLB v4
83# endif
84#else
85# define v4_possible_flags 0
86# define v4_always_flags (-1UL)
87#endif
88
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)
92
93#ifdef CONFIG_CPU_TLB_V4WBI
94# define v4wbi_possible_flags v4wbi_tlb_flags
95# define v4wbi_always_flags v4wbi_tlb_flags
96# ifdef _TLB
97# define MULTI_TLB 1
98# else
99# define _TLB v4wbi
100# endif
101#else
102# define v4wbi_possible_flags 0
103# define v4wbi_always_flags (-1UL)
104#endif
105
106#define v4wb_tlb_flags (TLB_WB | TLB_DCLEAN | \
107 TLB_V4_I_FULL | TLB_V4_D_FULL | \
108 TLB_V4_D_PAGE)
109
110#ifdef CONFIG_CPU_TLB_V4WB
111# define v4wb_possible_flags v4wb_tlb_flags
112# define v4wb_always_flags v4wb_tlb_flags
113# ifdef _TLB
114# define MULTI_TLB 1
115# else
116# define _TLB v4wb
117# endif
118#else
119# define v4wb_possible_flags 0
120# define v4wb_always_flags (-1UL)
121#endif
122
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)
127
128#ifdef CONFIG_CPU_TLB_V6
129# define v6wbi_possible_flags v6wbi_tlb_flags
130# define v6wbi_always_flags v6wbi_tlb_flags
131# ifdef _TLB
132# define MULTI_TLB 1
133# else
134# define _TLB v6wbi
135# endif
136#else
137# define v6wbi_possible_flags 0
138# define v6wbi_always_flags (-1UL)
139#endif
140
Catalin Marinas2ccdd1e2007-05-18 11:25:31 +0100141#ifdef CONFIG_CPU_TLB_V7
142# define v7wbi_possible_flags v6wbi_tlb_flags
143# define v7wbi_always_flags v6wbi_tlb_flags
144# ifdef _TLB
145# define MULTI_TLB 1
146# else
147# define _TLB v7wbi
148# endif
149#else
150# define v7wbi_possible_flags 0
151# define v7wbi_always_flags (-1UL)
152#endif
153
Linus Torvalds1da177e2005-04-16 15:20:36 -0700154#ifndef _TLB
155#error Unknown TLB model
156#endif
157
158#ifndef __ASSEMBLY__
159
Alexey Dobriyane8edc6e2007-05-21 01:22:52 +0400160#include <linux/sched.h>
161
Linus Torvalds1da177e2005-04-16 15:20:36 -0700162struct cpu_tlb_fns {
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;
166};
167
168/*
169 * Select the calling method
170 */
171#ifdef MULTI_TLB
172
173#define __cpu_flush_user_tlb_range cpu_tlb.flush_user_range
174#define __cpu_flush_kern_tlb_range cpu_tlb.flush_kern_range
175
176#else
177
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)
180
181extern void __cpu_flush_user_tlb_range(unsigned long, unsigned long, struct vm_area_struct *);
182extern void __cpu_flush_kern_tlb_range(unsigned long, unsigned long);
183
184#endif
185
186extern struct cpu_tlb_fns cpu_tlb;
187
188#define __cpu_tlb_flags cpu_tlb.tlb_flags
189
190/*
191 * TLB Management
192 * ==============
193 *
194 * The arch/arm/mm/tlb-*.S files implement these methods.
195 *
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.
200 *
201 * flush_tlb_all()
202 *
203 * Invalidate the entire TLB.
204 *
205 * flush_tlb_mm(mm)
206 *
207 * Invalidate all TLB entries in a particular address
208 * space.
209 * - mm - mm_struct describing address space
210 *
211 * flush_tlb_range(mm,start,end)
212 *
213 * Invalidate a range of TLB entries in the specified
214 * address space.
215 * - mm - mm_struct describing address space
216 * - start - start address (may not be aligned)
217 * - end - end address (exclusive, may not be aligned)
218 *
219 * flush_tlb_page(vaddr,vma)
220 *
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
224 *
225 * flush_kern_tlb_page(kaddr)
226 *
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
231 */
232
233/*
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
238 *
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.
244 */
245#define possible_tlb_flags (v3_possible_flags | \
246 v4_possible_flags | \
247 v4wbi_possible_flags | \
248 v4wb_possible_flags | \
249 v6wbi_possible_flags)
250
251#define always_tlb_flags (v3_always_flags & \
252 v4_always_flags & \
253 v4wbi_always_flags & \
254 v4wb_always_flags & \
255 v6wbi_always_flags)
256
257#define tlb_flag(f) ((always_tlb_flags & (f)) || (__tlb_flag & possible_tlb_flags & (f)))
258
Russell King603fff52005-06-28 13:40:39 +0100259static inline void local_flush_tlb_all(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260{
261 const int zero = 0;
262 const unsigned int __tlb_flag = __cpu_tlb_flags;
263
264 if (tlb_flag(TLB_WB))
Catalin Marinase6a5d662007-02-05 14:47:51 +0100265 dsb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700266
267 if (tlb_flag(TLB_V3_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100268 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700269 if (tlb_flag(TLB_V4_U_FULL | TLB_V6_U_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100270 asm("mcr p15, 0, %0, c8, c7, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700271 if (tlb_flag(TLB_V4_D_FULL | TLB_V6_D_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100272 asm("mcr p15, 0, %0, c8, c6, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273 if (tlb_flag(TLB_V4_I_FULL | TLB_V6_I_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100274 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
Catalin Marinase6a5d662007-02-05 14:47:51 +0100275
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");
281 dsb();
282 isb();
283 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700284}
285
Russell King603fff52005-06-28 13:40:39 +0100286static inline void local_flush_tlb_mm(struct mm_struct *mm)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287{
288 const int zero = 0;
289 const int asid = ASID(mm);
290 const unsigned int __tlb_flag = __cpu_tlb_flags;
291
292 if (tlb_flag(TLB_WB))
Catalin Marinase6a5d662007-02-05 14:47:51 +0100293 dsb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700294
295 if (cpu_isset(smp_processor_id(), mm->cpu_vm_mask)) {
296 if (tlb_flag(TLB_V3_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100297 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298 if (tlb_flag(TLB_V4_U_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100299 asm("mcr p15, 0, %0, c8, c7, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300 if (tlb_flag(TLB_V4_D_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100301 asm("mcr p15, 0, %0, c8, c6, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700302 if (tlb_flag(TLB_V4_I_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100303 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700304 }
305
306 if (tlb_flag(TLB_V6_U_ASID))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100307 asm("mcr p15, 0, %0, c8, c7, 2" : : "r" (asid) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308 if (tlb_flag(TLB_V6_D_ASID))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100309 asm("mcr p15, 0, %0, c8, c6, 2" : : "r" (asid) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310 if (tlb_flag(TLB_V6_I_ASID))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100311 asm("mcr p15, 0, %0, c8, c5, 2" : : "r" (asid) : "cc");
Catalin Marinase6a5d662007-02-05 14:47:51 +0100312
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");
318 dsb();
319 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320}
321
322static inline void
Russell King603fff52005-06-28 13:40:39 +0100323local_flush_tlb_page(struct vm_area_struct *vma, unsigned long uaddr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700324{
325 const int zero = 0;
326 const unsigned int __tlb_flag = __cpu_tlb_flags;
327
328 uaddr = (uaddr & PAGE_MASK) | ASID(vma->vm_mm);
329
330 if (tlb_flag(TLB_WB))
Catalin Marinase6a5d662007-02-05 14:47:51 +0100331 dsb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332
333 if (cpu_isset(smp_processor_id(), vma->vm_mm->cpu_vm_mask)) {
334 if (tlb_flag(TLB_V3_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100335 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (uaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336 if (tlb_flag(TLB_V4_U_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100337 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (uaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700338 if (tlb_flag(TLB_V4_D_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100339 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (uaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340 if (tlb_flag(TLB_V4_I_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100341 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (uaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700342 if (!tlb_flag(TLB_V4_I_PAGE) && tlb_flag(TLB_V4_I_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100343 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700344 }
345
346 if (tlb_flag(TLB_V6_U_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100347 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (uaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700348 if (tlb_flag(TLB_V6_D_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100349 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (uaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700350 if (tlb_flag(TLB_V6_I_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100351 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (uaddr) : "cc");
Catalin Marinase6a5d662007-02-05 14:47:51 +0100352
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");
358 dsb();
359 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360}
361
Russell King603fff52005-06-28 13:40:39 +0100362static inline void local_flush_tlb_kernel_page(unsigned long kaddr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700363{
364 const int zero = 0;
365 const unsigned int __tlb_flag = __cpu_tlb_flags;
366
367 kaddr &= PAGE_MASK;
368
369 if (tlb_flag(TLB_WB))
Catalin Marinase6a5d662007-02-05 14:47:51 +0100370 dsb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700371
372 if (tlb_flag(TLB_V3_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100373 asm("mcr p15, 0, %0, c6, c0, 0" : : "r" (kaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700374 if (tlb_flag(TLB_V4_U_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100375 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (kaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700376 if (tlb_flag(TLB_V4_D_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100377 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (kaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700378 if (tlb_flag(TLB_V4_I_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100379 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (kaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700380 if (!tlb_flag(TLB_V4_I_PAGE) && tlb_flag(TLB_V4_I_FULL))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100381 asm("mcr p15, 0, %0, c8, c5, 0" : : "r" (zero) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700382
383 if (tlb_flag(TLB_V6_U_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100384 asm("mcr p15, 0, %0, c8, c7, 1" : : "r" (kaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700385 if (tlb_flag(TLB_V6_D_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100386 asm("mcr p15, 0, %0, c8, c6, 1" : : "r" (kaddr) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700387 if (tlb_flag(TLB_V6_I_PAGE))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100388 asm("mcr p15, 0, %0, c8, c5, 1" : : "r" (kaddr) : "cc");
Catalin Marinas6a0e2432006-03-07 14:42:27 +0000389
Catalin Marinase6a5d662007-02-05 14:47:51 +0100390 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");
395 dsb();
396 isb();
397 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700398}
399
400/*
401 * flush_pmd_entry
402 *
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.
406 *
407 * clean_pmd_entry
408 *
409 * Clean (but don't drain the write buffer) if the CPU requires
410 * these operations. This is typically used when we are removing
411 * PMD entries.
412 */
413static inline void flush_pmd_entry(pmd_t *pmd)
414{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700415 const unsigned int __tlb_flag = __cpu_tlb_flags;
416
417 if (tlb_flag(TLB_DCLEAN))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100418 asm("mcr p15, 0, %0, c7, c10, 1 @ flush_pmd"
419 : : "r" (pmd) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700420 if (tlb_flag(TLB_WB))
Catalin Marinase6a5d662007-02-05 14:47:51 +0100421 dsb();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700422}
423
424static inline void clean_pmd_entry(pmd_t *pmd)
425{
426 const unsigned int __tlb_flag = __cpu_tlb_flags;
427
428 if (tlb_flag(TLB_DCLEAN))
Daniel Jacobowitz6a39dd62006-08-30 15:02:08 +0100429 asm("mcr p15, 0, %0, c7, c10, 1 @ flush_pmd"
430 : : "r" (pmd) : "cc");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700431}
432
433#undef tlb_flag
434#undef always_tlb_flags
435#undef possible_tlb_flags
436
437/*
438 * Convert calls to our calling convention.
439 */
Russell King603fff52005-06-28 13:40:39 +0100440#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)
442
443#ifndef CONFIG_SMP
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
450#else
451extern void flush_tlb_all(void);
452extern void flush_tlb_mm(struct mm_struct *mm);
453extern void flush_tlb_page(struct vm_area_struct *vma, unsigned long uaddr);
454extern void flush_tlb_kernel_page(unsigned long kaddr);
455extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end);
456extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
457#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458
459/*
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
462 * back to the page.
463 */
464extern void update_mmu_cache(struct vm_area_struct *vma, unsigned long addr, pte_t pte);
465
Linus Torvalds1da177e2005-04-16 15:20:36 -0700466#endif
467
Hyok S. Choi01579032006-02-24 21:41:25 +0000468#endif /* CONFIG_MMU */
469
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470#endif