Commit | Line | Data |
---|---|---|
1da177e4 LT |
1 | #ifndef _SPARC64_TLBFLUSH_H |
2 | #define _SPARC64_TLBFLUSH_H | |
3 | ||
1da177e4 LT |
4 | #include <linux/mm.h> |
5 | #include <asm/mmu_context.h> | |
6 | ||
74bf4312 DM |
7 | /* TSB flush operations. */ |
8 | struct mmu_gather; | |
9 | extern void flush_tsb_kernel_range(unsigned long start, unsigned long end); | |
10 | extern void flush_tsb_user(struct mmu_gather *mp); | |
11 | ||
1da177e4 LT |
12 | /* TLB flush operations. */ |
13 | ||
14 | extern void flush_tlb_pending(void); | |
15 | ||
16 | #define flush_tlb_range(vma,start,end) \ | |
17 | do { (void)(start); flush_tlb_pending(); } while (0) | |
18 | #define flush_tlb_page(vma,addr) flush_tlb_pending() | |
19 | #define flush_tlb_mm(mm) flush_tlb_pending() | |
20 | ||
74bf4312 | 21 | /* Local cpu only. */ |
1da177e4 | 22 | extern void __flush_tlb_all(void); |
74bf4312 | 23 | |
1da177e4 LT |
24 | extern void __flush_tlb_kernel_range(unsigned long start, unsigned long end); |
25 | ||
26 | #ifndef CONFIG_SMP | |
27 | ||
1da177e4 | 28 | #define flush_tlb_kernel_range(start,end) \ |
74bf4312 DM |
29 | do { flush_tsb_kernel_range(start,end); \ |
30 | __flush_tlb_kernel_range(start,end); \ | |
31 | } while (0) | |
1da177e4 LT |
32 | |
33 | #else /* CONFIG_SMP */ | |
34 | ||
1da177e4 LT |
35 | extern void smp_flush_tlb_kernel_range(unsigned long start, unsigned long end); |
36 | ||
1da177e4 | 37 | #define flush_tlb_kernel_range(start, end) \ |
74bf4312 DM |
38 | do { flush_tsb_kernel_range(start,end); \ |
39 | smp_flush_tlb_kernel_range(start, end); \ | |
40 | } while (0) | |
1da177e4 LT |
41 | |
42 | #endif /* ! CONFIG_SMP */ | |
43 | ||
1da177e4 | 44 | #endif /* _SPARC64_TLBFLUSH_H */ |