Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Based on arch/arm/include/asm/tlb.h |
| 3 | * |
| 4 | * Copyright (C) 2002 Russell King |
| 5 | * Copyright (C) 2012 ARM Ltd. |
| 6 | * |
| 7 | * This program is free software; you can redistribute it and/or modify |
| 8 | * it under the terms of the GNU General Public License version 2 as |
| 9 | * published by the Free Software Foundation. |
| 10 | * |
| 11 | * This program is distributed in the hope that it will be useful, |
| 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 14 | * GNU General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU General Public License |
| 17 | * along with this program. If not, see <http://www.gnu.org/licenses/>. |
| 18 | */ |
| 19 | #ifndef __ASM_TLB_H |
| 20 | #define __ASM_TLB_H |
| 21 | |
Steve Capper | 5e5f6dc | 2014-10-09 15:29:23 -0700 | [diff] [blame] | 22 | #include <linux/pagemap.h> |
| 23 | #include <linux/swap.h> |
| 24 | |
| 25 | #ifdef CONFIG_HAVE_RCU_TABLE_FREE |
| 26 | |
| 27 | #define tlb_remove_entry(tlb, entry) tlb_remove_table(tlb, entry) |
| 28 | static inline void __tlb_remove_table(void *_table) |
| 29 | { |
| 30 | free_page_and_swap_cache((struct page *)_table); |
| 31 | } |
| 32 | #else |
| 33 | #define tlb_remove_entry(tlb, entry) tlb_remove_page(tlb, entry) |
| 34 | #endif /* CONFIG_HAVE_RCU_TABLE_FREE */ |
| 35 | |
Will Deacon | fb7332a | 2014-10-29 10:03:09 +0000 | [diff] [blame] | 36 | #include <asm-generic/tlb.h> |
| 37 | |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 38 | static inline void tlb_flush(struct mmu_gather *tlb) |
| 39 | { |
Will Deacon | 5a7862e | 2015-10-06 18:46:26 +0100 | [diff] [blame] | 40 | struct vm_area_struct vma = { .vm_mm = tlb->mm, }; |
| 41 | |
| 42 | /* |
| 43 | * The ASID allocator will either invalidate the ASID or mark |
| 44 | * it as used. |
| 45 | */ |
| 46 | if (tlb->fullmm) |
| 47 | return; |
| 48 | |
| 49 | /* |
| 50 | * The intermediate page table levels are already handled by |
| 51 | * the __(pte|pmd|pud)_free_tlb() functions, so last level |
| 52 | * TLBI is sufficient here. |
| 53 | */ |
| 54 | __flush_tlb_range(&vma, tlb->start, tlb->end, true); |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 55 | } |
| 56 | |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 57 | static inline void __pte_free_tlb(struct mmu_gather *tlb, pgtable_t pte, |
Catalin Marinas | 020c142 | 2014-02-11 15:22:01 +0000 | [diff] [blame] | 58 | unsigned long addr) |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 59 | { |
Catalin Marinas | 285994a | 2015-03-11 12:20:39 +0000 | [diff] [blame] | 60 | __flush_tlb_pgtable(tlb->mm, addr); |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 61 | pgtable_page_dtor(pte); |
Steve Capper | 5e5f6dc | 2014-10-09 15:29:23 -0700 | [diff] [blame] | 62 | tlb_remove_entry(tlb, pte); |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 63 | } |
| 64 | |
Kirill A. Shutemov | 9f25e6a | 2015-04-14 15:45:39 -0700 | [diff] [blame] | 65 | #if CONFIG_PGTABLE_LEVELS > 2 |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 66 | static inline void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmdp, |
| 67 | unsigned long addr) |
| 68 | { |
Catalin Marinas | 285994a | 2015-03-11 12:20:39 +0000 | [diff] [blame] | 69 | __flush_tlb_pgtable(tlb->mm, addr); |
Steve Capper | 5e5f6dc | 2014-10-09 15:29:23 -0700 | [diff] [blame] | 70 | tlb_remove_entry(tlb, virt_to_page(pmdp)); |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 71 | } |
| 72 | #endif |
| 73 | |
Kirill A. Shutemov | 9f25e6a | 2015-04-14 15:45:39 -0700 | [diff] [blame] | 74 | #if CONFIG_PGTABLE_LEVELS > 3 |
Jungseok Lee | c79b954 | 2014-05-12 18:40:51 +0900 | [diff] [blame] | 75 | static inline void __pud_free_tlb(struct mmu_gather *tlb, pud_t *pudp, |
| 76 | unsigned long addr) |
| 77 | { |
Catalin Marinas | 285994a | 2015-03-11 12:20:39 +0000 | [diff] [blame] | 78 | __flush_tlb_pgtable(tlb->mm, addr); |
Steve Capper | 5e5f6dc | 2014-10-09 15:29:23 -0700 | [diff] [blame] | 79 | tlb_remove_entry(tlb, virt_to_page(pudp)); |
Jungseok Lee | c79b954 | 2014-05-12 18:40:51 +0900 | [diff] [blame] | 80 | } |
| 81 | #endif |
| 82 | |
Catalin Marinas | 58d0ba5 | 2012-03-05 11:49:28 +0000 | [diff] [blame] | 83 | #endif |