Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
Russell King | d84b471 | 2006-08-21 19:23:38 +0100 | [diff] [blame] | 2 | * linux/arch/arm/mm/context.c |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | * |
| 4 | * Copyright (C) 2002-2003 Deep Blue Solutions Ltd, all rights reserved. |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 5 | * Copyright (C) 2012 ARM Limited |
| 6 | * |
| 7 | * Author: Will Deacon <will.deacon@arm.com> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 8 | * |
| 9 | * This program is free software; you can redistribute it and/or modify |
| 10 | * it under the terms of the GNU General Public License version 2 as |
| 11 | * published by the Free Software Foundation. |
| 12 | */ |
| 13 | #include <linux/init.h> |
| 14 | #include <linux/sched.h> |
| 15 | #include <linux/mm.h> |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 16 | #include <linux/smp.h> |
| 17 | #include <linux/percpu.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | |
| 19 | #include <asm/mmu_context.h> |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 20 | #include <asm/smp_plat.h> |
Will Deacon | 575320d | 2012-07-06 15:43:03 +0100 | [diff] [blame] | 21 | #include <asm/thread_notify.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 22 | #include <asm/tlbflush.h> |
| 23 | |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 24 | /* |
| 25 | * On ARMv6, we have the following structure in the Context ID: |
| 26 | * |
| 27 | * 31 7 0 |
| 28 | * +-------------------------+-----------+ |
| 29 | * | process ID | ASID | |
| 30 | * +-------------------------+-----------+ |
| 31 | * | context ID | |
| 32 | * +-------------------------------------+ |
| 33 | * |
| 34 | * The ASID is used to tag entries in the CPU caches and TLBs. |
| 35 | * The context ID is used by debuggers and trace logic, and |
| 36 | * should be unique within all running processes. |
| 37 | */ |
| 38 | #define ASID_FIRST_VERSION (1ULL << ASID_BITS) |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 39 | #define NUM_USER_ASIDS (ASID_FIRST_VERSION - 1) |
| 40 | |
| 41 | #define ASID_TO_IDX(asid) ((asid & ~ASID_MASK) - 1) |
| 42 | #define IDX_TO_ASID(idx) ((idx + 1) & ~ASID_MASK) |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 43 | |
Thomas Gleixner | bd31b85 | 2009-07-03 08:44:46 -0500 | [diff] [blame] | 44 | static DEFINE_RAW_SPINLOCK(cpu_asid_lock); |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 45 | static atomic64_t asid_generation = ATOMIC64_INIT(ASID_FIRST_VERSION); |
| 46 | static DECLARE_BITMAP(asid_map, NUM_USER_ASIDS); |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 47 | |
Will Deacon | 4b88316 | 2012-07-27 12:31:35 +0100 | [diff] [blame] | 48 | static DEFINE_PER_CPU(atomic64_t, active_asids); |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 49 | static DEFINE_PER_CPU(u64, reserved_asids); |
| 50 | static cpumask_t tlb_flush_pending; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 51 | |
Catalin Marinas | 14d8c95 | 2011-11-22 17:30:31 +0000 | [diff] [blame] | 52 | #ifdef CONFIG_ARM_LPAE |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 53 | static void cpu_set_reserved_ttbr0(void) |
Will Deacon | 3c5f7e7 | 2011-05-31 15:38:43 +0100 | [diff] [blame] | 54 | { |
| 55 | unsigned long ttbl = __pa(swapper_pg_dir); |
| 56 | unsigned long ttbh = 0; |
| 57 | |
| 58 | /* |
| 59 | * Set TTBR0 to swapper_pg_dir which contains only global entries. The |
| 60 | * ASID is set to 0. |
| 61 | */ |
| 62 | asm volatile( |
| 63 | " mcrr p15, 0, %0, %1, c2 @ set TTBR0\n" |
| 64 | : |
| 65 | : "r" (ttbl), "r" (ttbh)); |
| 66 | isb(); |
Catalin Marinas | 14d8c95 | 2011-11-22 17:30:31 +0000 | [diff] [blame] | 67 | } |
| 68 | #else |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 69 | static void cpu_set_reserved_ttbr0(void) |
Will Deacon | 3c5f7e7 | 2011-05-31 15:38:43 +0100 | [diff] [blame] | 70 | { |
| 71 | u32 ttb; |
| 72 | /* Copy TTBR1 into TTBR0 */ |
| 73 | asm volatile( |
| 74 | " mrc p15, 0, %0, c2, c0, 1 @ read TTBR1\n" |
| 75 | " mcr p15, 0, %0, c2, c0, 0 @ set TTBR0\n" |
| 76 | : "=r" (ttb)); |
| 77 | isb(); |
| 78 | } |
Catalin Marinas | 14d8c95 | 2011-11-22 17:30:31 +0000 | [diff] [blame] | 79 | #endif |
| 80 | |
Will Deacon | 575320d | 2012-07-06 15:43:03 +0100 | [diff] [blame] | 81 | #ifdef CONFIG_PID_IN_CONTEXTIDR |
| 82 | static int contextidr_notifier(struct notifier_block *unused, unsigned long cmd, |
| 83 | void *t) |
| 84 | { |
| 85 | u32 contextidr; |
| 86 | pid_t pid; |
| 87 | struct thread_info *thread = t; |
| 88 | |
| 89 | if (cmd != THREAD_NOTIFY_SWITCH) |
| 90 | return NOTIFY_DONE; |
| 91 | |
| 92 | pid = task_pid_nr(thread->task) << ASID_BITS; |
| 93 | asm volatile( |
| 94 | " mrc p15, 0, %0, c13, c0, 1\n" |
Will Deacon | ae3790b | 2012-08-24 15:21:52 +0100 | [diff] [blame] | 95 | " and %0, %0, %2\n" |
| 96 | " orr %0, %0, %1\n" |
| 97 | " mcr p15, 0, %0, c13, c0, 1\n" |
Will Deacon | 575320d | 2012-07-06 15:43:03 +0100 | [diff] [blame] | 98 | : "=r" (contextidr), "+r" (pid) |
Will Deacon | ae3790b | 2012-08-24 15:21:52 +0100 | [diff] [blame] | 99 | : "I" (~ASID_MASK)); |
Will Deacon | 575320d | 2012-07-06 15:43:03 +0100 | [diff] [blame] | 100 | isb(); |
| 101 | |
| 102 | return NOTIFY_OK; |
| 103 | } |
| 104 | |
| 105 | static struct notifier_block contextidr_notifier_block = { |
| 106 | .notifier_call = contextidr_notifier, |
| 107 | }; |
| 108 | |
| 109 | static int __init contextidr_notifier_init(void) |
| 110 | { |
| 111 | return thread_register_notifier(&contextidr_notifier_block); |
| 112 | } |
| 113 | arch_initcall(contextidr_notifier_init); |
| 114 | #endif |
| 115 | |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 116 | static void flush_context(unsigned int cpu) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 117 | { |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 118 | int i; |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 119 | u64 asid; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 120 | |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 121 | /* Update the list of reserved ASIDs and the ASID bitmap. */ |
| 122 | bitmap_clear(asid_map, 0, NUM_USER_ASIDS); |
| 123 | for_each_possible_cpu(i) { |
| 124 | if (i == cpu) { |
| 125 | asid = 0; |
| 126 | } else { |
| 127 | asid = atomic64_xchg(&per_cpu(active_asids, i), 0); |
| 128 | __set_bit(ASID_TO_IDX(asid), asid_map); |
| 129 | } |
| 130 | per_cpu(reserved_asids, i) = asid; |
| 131 | } |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 132 | |
| 133 | /* Queue a TLB invalidate and flush the I-cache if necessary. */ |
| 134 | if (!tlb_ops_need_broadcast()) |
| 135 | cpumask_set_cpu(cpu, &tlb_flush_pending); |
| 136 | else |
| 137 | cpumask_setall(&tlb_flush_pending); |
| 138 | |
| 139 | if (icache_is_vivt_asid_tagged()) |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 140 | __flush_icache_all(); |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 141 | } |
| 142 | |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 143 | static int is_reserved_asid(u64 asid) |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 144 | { |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 145 | int cpu; |
| 146 | for_each_possible_cpu(cpu) |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 147 | if (per_cpu(reserved_asids, cpu) == asid) |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 148 | return 1; |
| 149 | return 0; |
| 150 | } |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 151 | |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 152 | static void new_context(struct mm_struct *mm, unsigned int cpu) |
| 153 | { |
| 154 | u64 asid = mm->context.id; |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 155 | u64 generation = atomic64_read(&asid_generation); |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 156 | |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 157 | if (asid != 0 && is_reserved_asid(asid)) { |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 158 | /* |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 159 | * Our current ASID was active during a rollover, we can |
| 160 | * continue to use it and this was just a false alarm. |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 161 | */ |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 162 | asid = generation | (asid & ~ASID_MASK); |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 163 | } else { |
| 164 | /* |
| 165 | * Allocate a free ASID. If we can't find one, take a |
| 166 | * note of the currently active ASIDs and mark the TLBs |
| 167 | * as requiring flushes. |
| 168 | */ |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 169 | asid = find_first_zero_bit(asid_map, NUM_USER_ASIDS); |
| 170 | if (asid == NUM_USER_ASIDS) { |
| 171 | generation = atomic64_add_return(ASID_FIRST_VERSION, |
| 172 | &asid_generation); |
| 173 | flush_context(cpu); |
| 174 | asid = find_first_zero_bit(asid_map, NUM_USER_ASIDS); |
| 175 | } |
| 176 | __set_bit(asid, asid_map); |
| 177 | asid = generation | IDX_TO_ASID(asid); |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 178 | cpumask_clear(mm_cpumask(mm)); |
| 179 | } |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 180 | |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 181 | mm->context.id = asid; |
Catalin Marinas | 11805bc | 2010-01-26 19:09:42 +0100 | [diff] [blame] | 182 | } |
| 183 | |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 184 | void check_and_switch_context(struct mm_struct *mm, struct task_struct *tsk) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 185 | { |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 186 | unsigned long flags; |
| 187 | unsigned int cpu = smp_processor_id(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 188 | |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 189 | if (unlikely(mm->context.kvm_seq != init_mm.context.kvm_seq)) |
| 190 | __check_kvm_seq(mm); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 191 | |
| 192 | /* |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 193 | * Required during context switch to avoid speculative page table |
| 194 | * walking with the wrong TTBR. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 195 | */ |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 196 | cpu_set_reserved_ttbr0(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 197 | |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 198 | if (!((mm->context.id ^ atomic64_read(&asid_generation)) >> ASID_BITS) |
Will Deacon | 4b88316 | 2012-07-27 12:31:35 +0100 | [diff] [blame] | 199 | && atomic64_xchg(&per_cpu(active_asids, cpu), mm->context.id)) |
| 200 | goto switch_mm_fastpath; |
| 201 | |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 202 | raw_spin_lock_irqsave(&cpu_asid_lock, flags); |
| 203 | /* Check that our ASID belongs to the current generation. */ |
Will Deacon | bf51bb8 | 2012-08-01 14:57:49 +0100 | [diff] [blame] | 204 | if ((mm->context.id ^ atomic64_read(&asid_generation)) >> ASID_BITS) |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 205 | new_context(mm, cpu); |
| 206 | |
Will Deacon | 4b88316 | 2012-07-27 12:31:35 +0100 | [diff] [blame] | 207 | atomic64_set(&per_cpu(active_asids, cpu), mm->context.id); |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 208 | cpumask_set_cpu(cpu, mm_cpumask(mm)); |
| 209 | |
| 210 | if (cpumask_test_and_clear_cpu(cpu, &tlb_flush_pending)) |
| 211 | local_flush_tlb_all(); |
| 212 | raw_spin_unlock_irqrestore(&cpu_asid_lock, flags); |
| 213 | |
Will Deacon | 4b88316 | 2012-07-27 12:31:35 +0100 | [diff] [blame] | 214 | switch_mm_fastpath: |
Will Deacon | b5466f8 | 2012-06-15 14:47:31 +0100 | [diff] [blame] | 215 | cpu_switch_mm(mm->pgd, mm); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 216 | } |