]>
Commit | Line | Data |
---|---|---|
1da177e4 LT |
1 | #ifndef _S390_TLB_H |
2 | #define _S390_TLB_H | |
3 | ||
4 | /* | |
ba8a9229 MS |
5 | * TLB flushing on s390 is complicated. The following requirement |
6 | * from the principles of operation is the most arduous: | |
7 | * | |
8 | * "A valid table entry must not be changed while it is attached | |
9 | * to any CPU and may be used for translation by that CPU except to | |
10 | * (1) invalidate the entry by using INVALIDATE PAGE TABLE ENTRY, | |
11 | * or INVALIDATE DAT TABLE ENTRY, (2) alter bits 56-63 of a page | |
12 | * table entry, or (3) make a change by means of a COMPARE AND SWAP | |
13 | * AND PURGE instruction that purges the TLB." | |
14 | * | |
15 | * The modification of a pte of an active mm struct therefore is | |
16 | * a two step process: i) invalidate the pte, ii) store the new pte. | |
17 | * This is true for the page protection bit as well. | |
18 | * The only possible optimization is to flush at the beginning of | |
19 | * a tlb_gather_mmu cycle if the mm_struct is currently not in use. | |
20 | * | |
21 | * Pages used for the page tables is a different story. FIXME: more | |
1da177e4 | 22 | */ |
ba8a9229 MS |
23 | |
24 | #include <linux/mm.h> | |
c84ca008 | 25 | #include <linux/pagemap.h> |
ba8a9229 MS |
26 | #include <linux/swap.h> |
27 | #include <asm/processor.h> | |
28 | #include <asm/pgalloc.h> | |
ba8a9229 MS |
29 | #include <asm/tlbflush.h> |
30 | ||
ba8a9229 MS |
31 | struct mmu_gather { |
32 | struct mm_struct *mm; | |
36409f63 | 33 | struct mmu_table_batch *batch; |
ba8a9229 | 34 | unsigned int fullmm; |
215b28a5 | 35 | unsigned long start, end; |
ba8a9229 MS |
36 | }; |
37 | ||
36409f63 MS |
38 | struct mmu_table_batch { |
39 | struct rcu_head rcu; | |
40 | unsigned int nr; | |
41 | void *tables[0]; | |
42 | }; | |
ba8a9229 | 43 | |
36409f63 MS |
44 | #define MAX_TABLE_BATCH \ |
45 | ((PAGE_SIZE - sizeof(struct mmu_table_batch)) / sizeof(void *)) | |
46 | ||
47 | extern void tlb_table_flush(struct mmu_gather *tlb); | |
48 | extern void tlb_remove_table(struct mmu_gather *tlb, void *table); | |
68f03921 PZ |
49 | |
50 | static inline void tlb_gather_mmu(struct mmu_gather *tlb, | |
51 | struct mm_struct *mm, | |
2b047252 LT |
52 | unsigned long start, |
53 | unsigned long end) | |
68f03921 | 54 | { |
ba8a9229 | 55 | tlb->mm = mm; |
2b047252 LT |
56 | tlb->start = start; |
57 | tlb->end = end; | |
58 | tlb->fullmm = !(start | (end+1)); | |
36409f63 | 59 | tlb->batch = NULL; |
ba8a9229 MS |
60 | } |
61 | ||
1cf35d47 | 62 | static inline void tlb_flush_mmu_tlbonly(struct mmu_gather *tlb) |
ba8a9229 | 63 | { |
5c474a1e | 64 | __tlb_flush_mm_lazy(tlb->mm); |
1cf35d47 LT |
65 | } |
66 | ||
67 | static inline void tlb_flush_mmu_free(struct mmu_gather *tlb) | |
68 | { | |
36409f63 | 69 | tlb_table_flush(tlb); |
ba8a9229 MS |
70 | } |
71 | ||
1cf35d47 LT |
72 | |
73 | static inline void tlb_flush_mmu(struct mmu_gather *tlb) | |
74 | { | |
75 | tlb_flush_mmu_tlbonly(tlb); | |
76 | tlb_flush_mmu_free(tlb); | |
77 | } | |
78 | ||
ba8a9229 MS |
79 | static inline void tlb_finish_mmu(struct mmu_gather *tlb, |
80 | unsigned long start, unsigned long end) | |
81 | { | |
5c474a1e | 82 | tlb_flush_mmu(tlb); |
ba8a9229 | 83 | } |
1da177e4 LT |
84 | |
85 | /* | |
ba8a9229 | 86 | * Release the page cache reference for a pte removed by |
68f03921 | 87 | * tlb_ptep_clear_flush. In both flush modes the tlb for a page cache page |
ba8a9229 | 88 | * has already been freed, so just do free_page_and_swap_cache. |
1da177e4 | 89 | */ |
e9d55e15 | 90 | static inline bool __tlb_remove_page(struct mmu_gather *tlb, struct page *page) |
68f03921 PZ |
91 | { |
92 | free_page_and_swap_cache(page); | |
e9d55e15 | 93 | return false; /* avoid calling tlb_flush_mmu */ |
68f03921 PZ |
94 | } |
95 | ||
ba8a9229 MS |
96 | static inline void tlb_remove_page(struct mmu_gather *tlb, struct page *page) |
97 | { | |
98 | free_page_and_swap_cache(page); | |
99 | } | |
1da177e4 | 100 | |
e77b0852 AK |
101 | static inline bool __tlb_remove_page_size(struct mmu_gather *tlb, |
102 | struct page *page, int page_size) | |
e9d55e15 AK |
103 | { |
104 | return __tlb_remove_page(tlb, page); | |
105 | } | |
e77b0852 AK |
106 | |
107 | static inline void tlb_remove_page_size(struct mmu_gather *tlb, | |
108 | struct page *page, int page_size) | |
109 | { | |
110 | return tlb_remove_page(tlb, page); | |
111 | } | |
112 | ||
ba8a9229 MS |
113 | /* |
114 | * pte_free_tlb frees a pte table and clears the CRSTE for the | |
115 | * page table from the tlb. | |
116 | */ | |
9e1b32ca BH |
117 | static inline void pte_free_tlb(struct mmu_gather *tlb, pgtable_t pte, |
118 | unsigned long address) | |
ba8a9229 | 119 | { |
527e30b4 | 120 | page_table_free_rcu(tlb, (unsigned long *) pte, address); |
ba8a9229 | 121 | } |
1da177e4 | 122 | |
ba8a9229 MS |
123 | /* |
124 | * pmd_free_tlb frees a pmd table and clears the CRSTE for the | |
125 | * segment table entry from the tlb. | |
6252d702 MS |
126 | * If the mm uses a two level page table the single pmd is freed |
127 | * as the pgd. pmd_free_tlb checks the asce_limit against 2GB | |
128 | * to avoid the double free of the pmd in this case. | |
ba8a9229 | 129 | */ |
9e1b32ca BH |
130 | static inline void pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd, |
131 | unsigned long address) | |
ba8a9229 | 132 | { |
6252d702 MS |
133 | if (tlb->mm->context.asce_limit <= (1UL << 31)) |
134 | return; | |
9de45f73 | 135 | pgtable_pmd_page_dtor(virt_to_page(pmd)); |
02a8f3ab | 136 | tlb_remove_table(tlb, pmd); |
ba8a9229 MS |
137 | } |
138 | ||
5a216a20 MS |
139 | /* |
140 | * pud_free_tlb frees a pud table and clears the CRSTE for the | |
141 | * region third table entry from the tlb. | |
6252d702 MS |
142 | * If the mm uses a three level page table the single pud is freed |
143 | * as the pgd. pud_free_tlb checks the asce_limit against 4TB | |
144 | * to avoid the double free of the pud in this case. | |
5a216a20 | 145 | */ |
9e1b32ca BH |
146 | static inline void pud_free_tlb(struct mmu_gather *tlb, pud_t *pud, |
147 | unsigned long address) | |
5a216a20 | 148 | { |
6252d702 MS |
149 | if (tlb->mm->context.asce_limit <= (1UL << 42)) |
150 | return; | |
02a8f3ab | 151 | tlb_remove_table(tlb, pud); |
5a216a20 | 152 | } |
190a1d72 | 153 | |
ba8a9229 MS |
154 | #define tlb_start_vma(tlb, vma) do { } while (0) |
155 | #define tlb_end_vma(tlb, vma) do { } while (0) | |
156 | #define tlb_remove_tlb_entry(tlb, ptep, addr) do { } while (0) | |
1ae1c1d0 | 157 | #define tlb_remove_pmd_tlb_entry(tlb, pmdp, addr) do { } while (0) |
ba8a9229 | 158 | #define tlb_migrate_finish(mm) do { } while (0) |
b528e4b6 AK |
159 | #define tlb_remove_huge_tlb_entry(h, tlb, ptep, address) \ |
160 | tlb_remove_tlb_entry(tlb, ptep, address) | |
ba8a9229 | 161 | |
07e32661 AK |
162 | #define tlb_remove_check_page_size_change tlb_remove_check_page_size_change |
163 | static inline void tlb_remove_check_page_size_change(struct mmu_gather *tlb, | |
164 | unsigned int page_size) | |
165 | { | |
166 | } | |
167 | ||
ba8a9229 | 168 | #endif /* _S390_TLB_H */ |