Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
Russell King | 4baa992 | 2008-08-02 10:55:55 +0100 | [diff] [blame] | 2 | * arch/arm/include/asm/tlb.h |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | * |
| 4 | * Copyright (C) 2002 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 | * Experimentation shows that on a StrongARM, it appears to be faster |
| 11 | * to use the "invalidate whole tlb" rather than "invalidate single |
| 12 | * tlb" for this. |
| 13 | * |
| 14 | * This appears true for both the process fork+exit case, as well as |
| 15 | * the munmap-large-area case. |
| 16 | */ |
| 17 | #ifndef __ASMARM_TLB_H |
| 18 | #define __ASMARM_TLB_H |
| 19 | |
| 20 | #include <asm/cacheflush.h> |
Hyok S. Choi | 0157903 | 2006-02-24 21:41:25 +0000 | [diff] [blame] | 21 | |
| 22 | #ifndef CONFIG_MMU |
| 23 | |
| 24 | #include <linux/pagemap.h> |
Russell King | 58e9c47 | 2011-02-20 12:27:49 +0000 | [diff] [blame] | 25 | |
| 26 | #define tlb_flush(tlb) ((void) tlb) |
| 27 | |
Hyok S. Choi | 0157903 | 2006-02-24 21:41:25 +0000 | [diff] [blame] | 28 | #include <asm-generic/tlb.h> |
| 29 | |
| 30 | #else /* !CONFIG_MMU */ |
| 31 | |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 32 | #include <linux/swap.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 33 | #include <asm/pgalloc.h> |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 34 | #include <asm/tlbflush.h> |
| 35 | |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 36 | #define MMU_GATHER_BUNDLE 8 |
| 37 | |
Steve Capper | a0ad549 | 2014-10-09 15:29:18 -0700 | [diff] [blame] | 38 | #ifdef CONFIG_HAVE_RCU_TABLE_FREE |
| 39 | static inline void __tlb_remove_table(void *_table) |
| 40 | { |
| 41 | free_page_and_swap_cache((struct page *)_table); |
| 42 | } |
| 43 | |
| 44 | struct mmu_table_batch { |
| 45 | struct rcu_head rcu; |
| 46 | unsigned int nr; |
| 47 | void *tables[0]; |
| 48 | }; |
| 49 | |
| 50 | #define MAX_TABLE_BATCH \ |
| 51 | ((PAGE_SIZE - sizeof(struct mmu_table_batch)) / sizeof(void *)) |
| 52 | |
| 53 | extern void tlb_table_flush(struct mmu_gather *tlb); |
| 54 | extern void tlb_remove_table(struct mmu_gather *tlb, void *table); |
| 55 | |
| 56 | #define tlb_remove_entry(tlb, entry) tlb_remove_table(tlb, entry) |
| 57 | #else |
| 58 | #define tlb_remove_entry(tlb, entry) tlb_remove_page(tlb, entry) |
| 59 | #endif /* CONFIG_HAVE_RCU_TABLE_FREE */ |
| 60 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 61 | /* |
| 62 | * TLB handling. This allows us to remove pages from the page |
| 63 | * tables, and efficiently handle the TLB issues. |
| 64 | */ |
| 65 | struct mmu_gather { |
| 66 | struct mm_struct *mm; |
Steve Capper | a0ad549 | 2014-10-09 15:29:18 -0700 | [diff] [blame] | 67 | #ifdef CONFIG_HAVE_RCU_TABLE_FREE |
| 68 | struct mmu_table_batch *batch; |
| 69 | unsigned int need_flush; |
| 70 | #endif |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 71 | unsigned int fullmm; |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 72 | struct vm_area_struct *vma; |
Linus Torvalds | 2b04725 | 2013-08-15 11:42:25 -0700 | [diff] [blame] | 73 | unsigned long start, end; |
Aaro Koskinen | 7fccfc0 | 2009-04-14 13:07:35 +0100 | [diff] [blame] | 74 | unsigned long range_start; |
| 75 | unsigned long range_end; |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 76 | unsigned int nr; |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 77 | unsigned int max; |
| 78 | struct page **pages; |
| 79 | struct page *local[MMU_GATHER_BUNDLE]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 80 | }; |
| 81 | |
| 82 | DECLARE_PER_CPU(struct mmu_gather, mmu_gathers); |
| 83 | |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 84 | /* |
| 85 | * This is unnecessarily complex. There's three ways the TLB shootdown |
| 86 | * code is used: |
| 87 | * 1. Unmapping a range of vmas. See zap_page_range(), unmap_region(). |
| 88 | * tlb->fullmm = 0, and tlb_start_vma/tlb_end_vma will be called. |
| 89 | * tlb->vma will be non-NULL. |
| 90 | * 2. Unmapping all vmas. See exit_mmap(). |
| 91 | * tlb->fullmm = 1, and tlb_start_vma/tlb_end_vma will be called. |
| 92 | * tlb->vma will be non-NULL. Additionally, page tables will be freed. |
| 93 | * 3. Unmapping argument pages. See shift_arg_pages(). |
| 94 | * tlb->fullmm = 0, but tlb_start_vma/tlb_end_vma will not be called. |
| 95 | * tlb->vma will be NULL. |
| 96 | */ |
| 97 | static inline void tlb_flush(struct mmu_gather *tlb) |
| 98 | { |
| 99 | if (tlb->fullmm || !tlb->vma) |
| 100 | flush_tlb_mm(tlb->mm); |
| 101 | else if (tlb->range_end > 0) { |
| 102 | flush_tlb_range(tlb->vma, tlb->range_start, tlb->range_end); |
| 103 | tlb->range_start = TASK_SIZE; |
| 104 | tlb->range_end = 0; |
| 105 | } |
| 106 | } |
| 107 | |
| 108 | static inline void tlb_add_flush(struct mmu_gather *tlb, unsigned long addr) |
| 109 | { |
| 110 | if (!tlb->fullmm) { |
| 111 | if (addr < tlb->range_start) |
| 112 | tlb->range_start = addr; |
| 113 | if (addr + PAGE_SIZE > tlb->range_end) |
| 114 | tlb->range_end = addr + PAGE_SIZE; |
| 115 | } |
| 116 | } |
| 117 | |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 118 | static inline void __tlb_alloc_page(struct mmu_gather *tlb) |
| 119 | { |
| 120 | unsigned long addr = __get_free_pages(GFP_NOWAIT | __GFP_NOWARN, 0); |
| 121 | |
| 122 | if (addr) { |
| 123 | tlb->pages = (void *)addr; |
| 124 | tlb->max = PAGE_SIZE / sizeof(struct page *); |
| 125 | } |
| 126 | } |
| 127 | |
Linus Torvalds | 1cf35d4 | 2014-04-25 16:05:40 -0700 | [diff] [blame] | 128 | static inline void tlb_flush_mmu_tlbonly(struct mmu_gather *tlb) |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 129 | { |
| 130 | tlb_flush(tlb); |
Steve Capper | a0ad549 | 2014-10-09 15:29:18 -0700 | [diff] [blame] | 131 | #ifdef CONFIG_HAVE_RCU_TABLE_FREE |
| 132 | tlb_table_flush(tlb); |
| 133 | #endif |
Linus Torvalds | 1cf35d4 | 2014-04-25 16:05:40 -0700 | [diff] [blame] | 134 | } |
| 135 | |
| 136 | static inline void tlb_flush_mmu_free(struct mmu_gather *tlb) |
| 137 | { |
Peter Zijlstra | 29eb778 | 2013-06-05 12:26:50 +0200 | [diff] [blame] | 138 | free_pages_and_swap_cache(tlb->pages, tlb->nr); |
| 139 | tlb->nr = 0; |
| 140 | if (tlb->pages == tlb->local) |
| 141 | __tlb_alloc_page(tlb); |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 142 | } |
| 143 | |
Linus Torvalds | 1cf35d4 | 2014-04-25 16:05:40 -0700 | [diff] [blame] | 144 | static inline void tlb_flush_mmu(struct mmu_gather *tlb) |
| 145 | { |
| 146 | tlb_flush_mmu_tlbonly(tlb); |
| 147 | tlb_flush_mmu_free(tlb); |
| 148 | } |
| 149 | |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 150 | static inline void |
Linus Torvalds | 2b04725 | 2013-08-15 11:42:25 -0700 | [diff] [blame] | 151 | tlb_gather_mmu(struct mmu_gather *tlb, struct mm_struct *mm, unsigned long start, unsigned long end) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 152 | { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 153 | tlb->mm = mm; |
Linus Torvalds | 2b04725 | 2013-08-15 11:42:25 -0700 | [diff] [blame] | 154 | tlb->fullmm = !(start | (end+1)); |
| 155 | tlb->start = start; |
| 156 | tlb->end = end; |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 157 | tlb->vma = NULL; |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 158 | tlb->max = ARRAY_SIZE(tlb->local); |
| 159 | tlb->pages = tlb->local; |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 160 | tlb->nr = 0; |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 161 | __tlb_alloc_page(tlb); |
Steve Capper | a0ad549 | 2014-10-09 15:29:18 -0700 | [diff] [blame] | 162 | |
| 163 | #ifdef CONFIG_HAVE_RCU_TABLE_FREE |
| 164 | tlb->batch = NULL; |
| 165 | #endif |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 166 | } |
| 167 | |
| 168 | static inline void |
| 169 | tlb_finish_mmu(struct mmu_gather *tlb, unsigned long start, unsigned long end) |
| 170 | { |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 171 | tlb_flush_mmu(tlb); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 172 | |
| 173 | /* keep the page table cache within bounds */ |
| 174 | check_pgt_cache(); |
Hugh Dickins | 15a23ff | 2005-10-29 18:16:01 -0700 | [diff] [blame] | 175 | |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 176 | if (tlb->pages != tlb->local) |
| 177 | free_pages((unsigned long)tlb->pages, 0); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 178 | } |
| 179 | |
Aaro Koskinen | 7fccfc0 | 2009-04-14 13:07:35 +0100 | [diff] [blame] | 180 | /* |
| 181 | * Memorize the range for the TLB flush. |
| 182 | */ |
| 183 | static inline void |
| 184 | tlb_remove_tlb_entry(struct mmu_gather *tlb, pte_t *ptep, unsigned long addr) |
| 185 | { |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 186 | tlb_add_flush(tlb, addr); |
Aaro Koskinen | 7fccfc0 | 2009-04-14 13:07:35 +0100 | [diff] [blame] | 187 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 188 | |
Aneesh Kumar K.V | b528e4b | 2016-12-12 16:42:37 -0800 | [diff] [blame] | 189 | #define tlb_remove_huge_tlb_entry(h, tlb, ptep, address) \ |
| 190 | tlb_remove_tlb_entry(tlb, ptep, address) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 191 | /* |
| 192 | * In the case of tlb vma handling, we can optimise these away in the |
| 193 | * case where we're doing a full MM flush. When we're doing a munmap, |
| 194 | * the vmas are adjusted to only cover the region to be torn down. |
| 195 | */ |
| 196 | static inline void |
| 197 | tlb_start_vma(struct mmu_gather *tlb, struct vm_area_struct *vma) |
| 198 | { |
Aaro Koskinen | 7fccfc0 | 2009-04-14 13:07:35 +0100 | [diff] [blame] | 199 | if (!tlb->fullmm) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 200 | flush_cache_range(vma, vma->vm_start, vma->vm_end); |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 201 | tlb->vma = vma; |
Aaro Koskinen | 7fccfc0 | 2009-04-14 13:07:35 +0100 | [diff] [blame] | 202 | tlb->range_start = TASK_SIZE; |
| 203 | tlb->range_end = 0; |
| 204 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 205 | } |
| 206 | |
| 207 | static inline void |
| 208 | tlb_end_vma(struct mmu_gather *tlb, struct vm_area_struct *vma) |
| 209 | { |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 210 | if (!tlb->fullmm) |
| 211 | tlb_flush(tlb); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 212 | } |
| 213 | |
Aneesh Kumar K.V | e9d55e1 | 2016-07-26 15:24:09 -0700 | [diff] [blame] | 214 | static inline bool __tlb_remove_page(struct mmu_gather *tlb, struct page *page) |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 215 | { |
Aneesh Kumar K.V | 692a68c | 2016-12-12 16:42:43 -0800 | [diff] [blame^] | 216 | tlb->pages[tlb->nr++] = page; |
| 217 | VM_WARN_ON(tlb->nr > tlb->max); |
Aneesh Kumar K.V | e9d55e1 | 2016-07-26 15:24:09 -0700 | [diff] [blame] | 218 | if (tlb->nr == tlb->max) |
| 219 | return true; |
Aneesh Kumar K.V | e9d55e1 | 2016-07-26 15:24:09 -0700 | [diff] [blame] | 220 | return false; |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 221 | } |
| 222 | |
| 223 | static inline void tlb_remove_page(struct mmu_gather *tlb, struct page *page) |
| 224 | { |
Aneesh Kumar K.V | 692a68c | 2016-12-12 16:42:43 -0800 | [diff] [blame^] | 225 | if (__tlb_remove_page(tlb, page)) |
Peter Zijlstra | 9e14f67 | 2011-05-24 17:11:53 -0700 | [diff] [blame] | 226 | tlb_flush_mmu(tlb); |
Aneesh Kumar K.V | e9d55e1 | 2016-07-26 15:24:09 -0700 | [diff] [blame] | 227 | } |
| 228 | |
Aneesh Kumar K.V | e77b085 | 2016-07-26 15:24:12 -0700 | [diff] [blame] | 229 | static inline bool __tlb_remove_page_size(struct mmu_gather *tlb, |
| 230 | struct page *page, int page_size) |
| 231 | { |
| 232 | return __tlb_remove_page(tlb, page); |
| 233 | } |
| 234 | |
Aneesh Kumar K.V | e77b085 | 2016-07-26 15:24:12 -0700 | [diff] [blame] | 235 | static inline void tlb_remove_page_size(struct mmu_gather *tlb, |
| 236 | struct page *page, int page_size) |
| 237 | { |
| 238 | return tlb_remove_page(tlb, page); |
| 239 | } |
| 240 | |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 241 | static inline void __pte_free_tlb(struct mmu_gather *tlb, pgtable_t pte, |
| 242 | unsigned long addr) |
| 243 | { |
| 244 | pgtable_page_dtor(pte); |
Catalin Marinas | 6d3ec1a | 2012-01-25 11:54:22 +0100 | [diff] [blame] | 245 | |
Will Deacon | df547e0 | 2012-08-24 15:23:06 +0100 | [diff] [blame] | 246 | #ifdef CONFIG_ARM_LPAE |
| 247 | tlb_add_flush(tlb, addr); |
| 248 | #else |
Catalin Marinas | 6d3ec1a | 2012-01-25 11:54:22 +0100 | [diff] [blame] | 249 | /* |
| 250 | * With the classic ARM MMU, a pte page has two corresponding pmd |
| 251 | * entries, each covering 1MB. |
| 252 | */ |
| 253 | addr &= PMD_MASK; |
| 254 | tlb_add_flush(tlb, addr + SZ_1M - PAGE_SIZE); |
| 255 | tlb_add_flush(tlb, addr + SZ_1M); |
Will Deacon | df547e0 | 2012-08-24 15:23:06 +0100 | [diff] [blame] | 256 | #endif |
Catalin Marinas | 6d3ec1a | 2012-01-25 11:54:22 +0100 | [diff] [blame] | 257 | |
Steve Capper | a0ad549 | 2014-10-09 15:29:18 -0700 | [diff] [blame] | 258 | tlb_remove_entry(tlb, pte); |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 259 | } |
| 260 | |
Catalin Marinas | c9f27f1 | 2011-11-22 17:30:29 +0000 | [diff] [blame] | 261 | static inline void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmdp, |
| 262 | unsigned long addr) |
| 263 | { |
| 264 | #ifdef CONFIG_ARM_LPAE |
| 265 | tlb_add_flush(tlb, addr); |
Steve Capper | a0ad549 | 2014-10-09 15:29:18 -0700 | [diff] [blame] | 266 | tlb_remove_entry(tlb, virt_to_page(pmdp)); |
Catalin Marinas | c9f27f1 | 2011-11-22 17:30:29 +0000 | [diff] [blame] | 267 | #endif |
| 268 | } |
| 269 | |
Catalin Marinas | 8d96250 | 2012-07-25 14:39:26 +0100 | [diff] [blame] | 270 | static inline void |
| 271 | tlb_remove_pmd_tlb_entry(struct mmu_gather *tlb, pmd_t *pmdp, unsigned long addr) |
| 272 | { |
| 273 | tlb_add_flush(tlb, addr); |
| 274 | } |
| 275 | |
Russell King | 06824ba | 2011-02-20 12:16:45 +0000 | [diff] [blame] | 276 | #define pte_free_tlb(tlb, ptep, addr) __pte_free_tlb(tlb, ptep, addr) |
Catalin Marinas | c9f27f1 | 2011-11-22 17:30:29 +0000 | [diff] [blame] | 277 | #define pmd_free_tlb(tlb, pmdp, addr) __pmd_free_tlb(tlb, pmdp, addr) |
Russell King | a32618d | 2011-11-22 17:30:28 +0000 | [diff] [blame] | 278 | #define pud_free_tlb(tlb, pudp, addr) pud_free((tlb)->mm, pudp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 279 | |
| 280 | #define tlb_migrate_finish(mm) do { } while (0) |
| 281 | |
Aneesh Kumar K.V | 07e3266 | 2016-12-12 16:42:40 -0800 | [diff] [blame] | 282 | #define tlb_remove_check_page_size_change tlb_remove_check_page_size_change |
| 283 | static inline void tlb_remove_check_page_size_change(struct mmu_gather *tlb, |
| 284 | unsigned int page_size) |
| 285 | { |
| 286 | } |
| 287 | |
Hyok S. Choi | 0157903 | 2006-02-24 21:41:25 +0000 | [diff] [blame] | 288 | #endif /* CONFIG_MMU */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 289 | #endif |