1*4882a593Smuzhiyun /*
2*4882a593Smuzhiyun * arch/xtensa/mm/tlb.c
3*4882a593Smuzhiyun *
4*4882a593Smuzhiyun * Logic that manipulates the Xtensa MMU. Derived from MIPS.
5*4882a593Smuzhiyun *
6*4882a593Smuzhiyun * This file is subject to the terms and conditions of the GNU General Public
7*4882a593Smuzhiyun * License. See the file "COPYING" in the main directory of this archive
8*4882a593Smuzhiyun * for more details.
9*4882a593Smuzhiyun *
10*4882a593Smuzhiyun * Copyright (C) 2001 - 2003 Tensilica Inc.
11*4882a593Smuzhiyun *
12*4882a593Smuzhiyun * Joe Taylor
13*4882a593Smuzhiyun * Chris Zankel <chris@zankel.net>
14*4882a593Smuzhiyun * Marc Gauthier
15*4882a593Smuzhiyun */
16*4882a593Smuzhiyun
17*4882a593Smuzhiyun #include <linux/mm.h>
18*4882a593Smuzhiyun #include <asm/processor.h>
19*4882a593Smuzhiyun #include <asm/mmu_context.h>
20*4882a593Smuzhiyun #include <asm/tlbflush.h>
21*4882a593Smuzhiyun #include <asm/cacheflush.h>
22*4882a593Smuzhiyun
23*4882a593Smuzhiyun
__flush_itlb_all(void)24*4882a593Smuzhiyun static inline void __flush_itlb_all (void)
25*4882a593Smuzhiyun {
26*4882a593Smuzhiyun int w, i;
27*4882a593Smuzhiyun
28*4882a593Smuzhiyun for (w = 0; w < ITLB_ARF_WAYS; w++) {
29*4882a593Smuzhiyun for (i = 0; i < (1 << XCHAL_ITLB_ARF_ENTRIES_LOG2); i++) {
30*4882a593Smuzhiyun int e = w + (i << PAGE_SHIFT);
31*4882a593Smuzhiyun invalidate_itlb_entry_no_isync(e);
32*4882a593Smuzhiyun }
33*4882a593Smuzhiyun }
34*4882a593Smuzhiyun asm volatile ("isync\n");
35*4882a593Smuzhiyun }
36*4882a593Smuzhiyun
__flush_dtlb_all(void)37*4882a593Smuzhiyun static inline void __flush_dtlb_all (void)
38*4882a593Smuzhiyun {
39*4882a593Smuzhiyun int w, i;
40*4882a593Smuzhiyun
41*4882a593Smuzhiyun for (w = 0; w < DTLB_ARF_WAYS; w++) {
42*4882a593Smuzhiyun for (i = 0; i < (1 << XCHAL_DTLB_ARF_ENTRIES_LOG2); i++) {
43*4882a593Smuzhiyun int e = w + (i << PAGE_SHIFT);
44*4882a593Smuzhiyun invalidate_dtlb_entry_no_isync(e);
45*4882a593Smuzhiyun }
46*4882a593Smuzhiyun }
47*4882a593Smuzhiyun asm volatile ("isync\n");
48*4882a593Smuzhiyun }
49*4882a593Smuzhiyun
50*4882a593Smuzhiyun
local_flush_tlb_all(void)51*4882a593Smuzhiyun void local_flush_tlb_all(void)
52*4882a593Smuzhiyun {
53*4882a593Smuzhiyun __flush_itlb_all();
54*4882a593Smuzhiyun __flush_dtlb_all();
55*4882a593Smuzhiyun }
56*4882a593Smuzhiyun
57*4882a593Smuzhiyun /* If mm is current, we simply assign the current task a new ASID, thus,
58*4882a593Smuzhiyun * invalidating all previous tlb entries. If mm is someone else's user mapping,
59*4882a593Smuzhiyun * wie invalidate the context, thus, when that user mapping is swapped in,
60*4882a593Smuzhiyun * a new context will be assigned to it.
61*4882a593Smuzhiyun */
62*4882a593Smuzhiyun
local_flush_tlb_mm(struct mm_struct * mm)63*4882a593Smuzhiyun void local_flush_tlb_mm(struct mm_struct *mm)
64*4882a593Smuzhiyun {
65*4882a593Smuzhiyun int cpu = smp_processor_id();
66*4882a593Smuzhiyun
67*4882a593Smuzhiyun if (mm == current->active_mm) {
68*4882a593Smuzhiyun unsigned long flags;
69*4882a593Smuzhiyun local_irq_save(flags);
70*4882a593Smuzhiyun mm->context.asid[cpu] = NO_CONTEXT;
71*4882a593Smuzhiyun activate_context(mm, cpu);
72*4882a593Smuzhiyun local_irq_restore(flags);
73*4882a593Smuzhiyun } else {
74*4882a593Smuzhiyun mm->context.asid[cpu] = NO_CONTEXT;
75*4882a593Smuzhiyun mm->context.cpu = -1;
76*4882a593Smuzhiyun }
77*4882a593Smuzhiyun }
78*4882a593Smuzhiyun
79*4882a593Smuzhiyun
80*4882a593Smuzhiyun #define _ITLB_ENTRIES (ITLB_ARF_WAYS << XCHAL_ITLB_ARF_ENTRIES_LOG2)
81*4882a593Smuzhiyun #define _DTLB_ENTRIES (DTLB_ARF_WAYS << XCHAL_DTLB_ARF_ENTRIES_LOG2)
82*4882a593Smuzhiyun #if _ITLB_ENTRIES > _DTLB_ENTRIES
83*4882a593Smuzhiyun # define _TLB_ENTRIES _ITLB_ENTRIES
84*4882a593Smuzhiyun #else
85*4882a593Smuzhiyun # define _TLB_ENTRIES _DTLB_ENTRIES
86*4882a593Smuzhiyun #endif
87*4882a593Smuzhiyun
local_flush_tlb_range(struct vm_area_struct * vma,unsigned long start,unsigned long end)88*4882a593Smuzhiyun void local_flush_tlb_range(struct vm_area_struct *vma,
89*4882a593Smuzhiyun unsigned long start, unsigned long end)
90*4882a593Smuzhiyun {
91*4882a593Smuzhiyun int cpu = smp_processor_id();
92*4882a593Smuzhiyun struct mm_struct *mm = vma->vm_mm;
93*4882a593Smuzhiyun unsigned long flags;
94*4882a593Smuzhiyun
95*4882a593Smuzhiyun if (mm->context.asid[cpu] == NO_CONTEXT)
96*4882a593Smuzhiyun return;
97*4882a593Smuzhiyun
98*4882a593Smuzhiyun pr_debug("[tlbrange<%02lx,%08lx,%08lx>]\n",
99*4882a593Smuzhiyun (unsigned long)mm->context.asid[cpu], start, end);
100*4882a593Smuzhiyun local_irq_save(flags);
101*4882a593Smuzhiyun
102*4882a593Smuzhiyun if (end-start + (PAGE_SIZE-1) <= _TLB_ENTRIES << PAGE_SHIFT) {
103*4882a593Smuzhiyun int oldpid = get_rasid_register();
104*4882a593Smuzhiyun
105*4882a593Smuzhiyun set_rasid_register(ASID_INSERT(mm->context.asid[cpu]));
106*4882a593Smuzhiyun start &= PAGE_MASK;
107*4882a593Smuzhiyun if (vma->vm_flags & VM_EXEC)
108*4882a593Smuzhiyun while(start < end) {
109*4882a593Smuzhiyun invalidate_itlb_mapping(start);
110*4882a593Smuzhiyun invalidate_dtlb_mapping(start);
111*4882a593Smuzhiyun start += PAGE_SIZE;
112*4882a593Smuzhiyun }
113*4882a593Smuzhiyun else
114*4882a593Smuzhiyun while(start < end) {
115*4882a593Smuzhiyun invalidate_dtlb_mapping(start);
116*4882a593Smuzhiyun start += PAGE_SIZE;
117*4882a593Smuzhiyun }
118*4882a593Smuzhiyun
119*4882a593Smuzhiyun set_rasid_register(oldpid);
120*4882a593Smuzhiyun } else {
121*4882a593Smuzhiyun local_flush_tlb_mm(mm);
122*4882a593Smuzhiyun }
123*4882a593Smuzhiyun local_irq_restore(flags);
124*4882a593Smuzhiyun }
125*4882a593Smuzhiyun
local_flush_tlb_page(struct vm_area_struct * vma,unsigned long page)126*4882a593Smuzhiyun void local_flush_tlb_page(struct vm_area_struct *vma, unsigned long page)
127*4882a593Smuzhiyun {
128*4882a593Smuzhiyun int cpu = smp_processor_id();
129*4882a593Smuzhiyun struct mm_struct* mm = vma->vm_mm;
130*4882a593Smuzhiyun unsigned long flags;
131*4882a593Smuzhiyun int oldpid;
132*4882a593Smuzhiyun
133*4882a593Smuzhiyun if (mm->context.asid[cpu] == NO_CONTEXT)
134*4882a593Smuzhiyun return;
135*4882a593Smuzhiyun
136*4882a593Smuzhiyun local_irq_save(flags);
137*4882a593Smuzhiyun
138*4882a593Smuzhiyun oldpid = get_rasid_register();
139*4882a593Smuzhiyun set_rasid_register(ASID_INSERT(mm->context.asid[cpu]));
140*4882a593Smuzhiyun
141*4882a593Smuzhiyun if (vma->vm_flags & VM_EXEC)
142*4882a593Smuzhiyun invalidate_itlb_mapping(page);
143*4882a593Smuzhiyun invalidate_dtlb_mapping(page);
144*4882a593Smuzhiyun
145*4882a593Smuzhiyun set_rasid_register(oldpid);
146*4882a593Smuzhiyun
147*4882a593Smuzhiyun local_irq_restore(flags);
148*4882a593Smuzhiyun }
149*4882a593Smuzhiyun
local_flush_tlb_kernel_range(unsigned long start,unsigned long end)150*4882a593Smuzhiyun void local_flush_tlb_kernel_range(unsigned long start, unsigned long end)
151*4882a593Smuzhiyun {
152*4882a593Smuzhiyun if (end > start && start >= TASK_SIZE && end <= PAGE_OFFSET &&
153*4882a593Smuzhiyun end - start < _TLB_ENTRIES << PAGE_SHIFT) {
154*4882a593Smuzhiyun start &= PAGE_MASK;
155*4882a593Smuzhiyun while (start < end) {
156*4882a593Smuzhiyun invalidate_itlb_mapping(start);
157*4882a593Smuzhiyun invalidate_dtlb_mapping(start);
158*4882a593Smuzhiyun start += PAGE_SIZE;
159*4882a593Smuzhiyun }
160*4882a593Smuzhiyun } else {
161*4882a593Smuzhiyun local_flush_tlb_all();
162*4882a593Smuzhiyun }
163*4882a593Smuzhiyun }
164*4882a593Smuzhiyun
165*4882a593Smuzhiyun #ifdef CONFIG_DEBUG_TLB_SANITY
166*4882a593Smuzhiyun
get_pte_for_vaddr(unsigned vaddr)167*4882a593Smuzhiyun static unsigned get_pte_for_vaddr(unsigned vaddr)
168*4882a593Smuzhiyun {
169*4882a593Smuzhiyun struct task_struct *task = get_current();
170*4882a593Smuzhiyun struct mm_struct *mm = task->mm;
171*4882a593Smuzhiyun pgd_t *pgd;
172*4882a593Smuzhiyun p4d_t *p4d;
173*4882a593Smuzhiyun pud_t *pud;
174*4882a593Smuzhiyun pmd_t *pmd;
175*4882a593Smuzhiyun pte_t *pte;
176*4882a593Smuzhiyun
177*4882a593Smuzhiyun if (!mm)
178*4882a593Smuzhiyun mm = task->active_mm;
179*4882a593Smuzhiyun pgd = pgd_offset(mm, vaddr);
180*4882a593Smuzhiyun if (pgd_none_or_clear_bad(pgd))
181*4882a593Smuzhiyun return 0;
182*4882a593Smuzhiyun p4d = p4d_offset(pgd, vaddr);
183*4882a593Smuzhiyun if (p4d_none_or_clear_bad(p4d))
184*4882a593Smuzhiyun return 0;
185*4882a593Smuzhiyun pud = pud_offset(p4d, vaddr);
186*4882a593Smuzhiyun if (pud_none_or_clear_bad(pud))
187*4882a593Smuzhiyun return 0;
188*4882a593Smuzhiyun pmd = pmd_offset(pud, vaddr);
189*4882a593Smuzhiyun if (pmd_none_or_clear_bad(pmd))
190*4882a593Smuzhiyun return 0;
191*4882a593Smuzhiyun pte = pte_offset_map(pmd, vaddr);
192*4882a593Smuzhiyun if (!pte)
193*4882a593Smuzhiyun return 0;
194*4882a593Smuzhiyun return pte_val(*pte);
195*4882a593Smuzhiyun }
196*4882a593Smuzhiyun
197*4882a593Smuzhiyun enum {
198*4882a593Smuzhiyun TLB_SUSPICIOUS = 1,
199*4882a593Smuzhiyun TLB_INSANE = 2,
200*4882a593Smuzhiyun };
201*4882a593Smuzhiyun
tlb_insane(void)202*4882a593Smuzhiyun static void tlb_insane(void)
203*4882a593Smuzhiyun {
204*4882a593Smuzhiyun BUG_ON(1);
205*4882a593Smuzhiyun }
206*4882a593Smuzhiyun
tlb_suspicious(void)207*4882a593Smuzhiyun static void tlb_suspicious(void)
208*4882a593Smuzhiyun {
209*4882a593Smuzhiyun WARN_ON(1);
210*4882a593Smuzhiyun }
211*4882a593Smuzhiyun
212*4882a593Smuzhiyun /*
213*4882a593Smuzhiyun * Check that TLB entries with kernel ASID (1) have kernel VMA (>= TASK_SIZE),
214*4882a593Smuzhiyun * and TLB entries with user ASID (>=4) have VMA < TASK_SIZE.
215*4882a593Smuzhiyun *
216*4882a593Smuzhiyun * Check that valid TLB entries either have the same PA as the PTE, or PTE is
217*4882a593Smuzhiyun * marked as non-present. Non-present PTE and the page with non-zero refcount
218*4882a593Smuzhiyun * and zero mapcount is normal for batched TLB flush operation. Zero refcount
219*4882a593Smuzhiyun * means that the page was freed prematurely. Non-zero mapcount is unusual,
220*4882a593Smuzhiyun * but does not necessary means an error, thus marked as suspicious.
221*4882a593Smuzhiyun */
check_tlb_entry(unsigned w,unsigned e,bool dtlb)222*4882a593Smuzhiyun static int check_tlb_entry(unsigned w, unsigned e, bool dtlb)
223*4882a593Smuzhiyun {
224*4882a593Smuzhiyun unsigned tlbidx = w | (e << PAGE_SHIFT);
225*4882a593Smuzhiyun unsigned r0 = dtlb ?
226*4882a593Smuzhiyun read_dtlb_virtual(tlbidx) : read_itlb_virtual(tlbidx);
227*4882a593Smuzhiyun unsigned r1 = dtlb ?
228*4882a593Smuzhiyun read_dtlb_translation(tlbidx) : read_itlb_translation(tlbidx);
229*4882a593Smuzhiyun unsigned vpn = (r0 & PAGE_MASK) | (e << PAGE_SHIFT);
230*4882a593Smuzhiyun unsigned pte = get_pte_for_vaddr(vpn);
231*4882a593Smuzhiyun unsigned mm_asid = (get_rasid_register() >> 8) & ASID_MASK;
232*4882a593Smuzhiyun unsigned tlb_asid = r0 & ASID_MASK;
233*4882a593Smuzhiyun bool kernel = tlb_asid == 1;
234*4882a593Smuzhiyun int rc = 0;
235*4882a593Smuzhiyun
236*4882a593Smuzhiyun if (tlb_asid > 0 && ((vpn < TASK_SIZE) == kernel)) {
237*4882a593Smuzhiyun pr_err("%cTLB: way: %u, entry: %u, VPN %08x in %s PTE\n",
238*4882a593Smuzhiyun dtlb ? 'D' : 'I', w, e, vpn,
239*4882a593Smuzhiyun kernel ? "kernel" : "user");
240*4882a593Smuzhiyun rc |= TLB_INSANE;
241*4882a593Smuzhiyun }
242*4882a593Smuzhiyun
243*4882a593Smuzhiyun if (tlb_asid == mm_asid) {
244*4882a593Smuzhiyun if ((pte ^ r1) & PAGE_MASK) {
245*4882a593Smuzhiyun pr_err("%cTLB: way: %u, entry: %u, mapping: %08x->%08x, PTE: %08x\n",
246*4882a593Smuzhiyun dtlb ? 'D' : 'I', w, e, r0, r1, pte);
247*4882a593Smuzhiyun if (pte == 0 || !pte_present(__pte(pte))) {
248*4882a593Smuzhiyun struct page *p = pfn_to_page(r1 >> PAGE_SHIFT);
249*4882a593Smuzhiyun pr_err("page refcount: %d, mapcount: %d\n",
250*4882a593Smuzhiyun page_count(p),
251*4882a593Smuzhiyun page_mapcount(p));
252*4882a593Smuzhiyun if (!page_count(p))
253*4882a593Smuzhiyun rc |= TLB_INSANE;
254*4882a593Smuzhiyun else if (page_mapcount(p))
255*4882a593Smuzhiyun rc |= TLB_SUSPICIOUS;
256*4882a593Smuzhiyun } else {
257*4882a593Smuzhiyun rc |= TLB_INSANE;
258*4882a593Smuzhiyun }
259*4882a593Smuzhiyun }
260*4882a593Smuzhiyun }
261*4882a593Smuzhiyun return rc;
262*4882a593Smuzhiyun }
263*4882a593Smuzhiyun
check_tlb_sanity(void)264*4882a593Smuzhiyun void check_tlb_sanity(void)
265*4882a593Smuzhiyun {
266*4882a593Smuzhiyun unsigned long flags;
267*4882a593Smuzhiyun unsigned w, e;
268*4882a593Smuzhiyun int bug = 0;
269*4882a593Smuzhiyun
270*4882a593Smuzhiyun local_irq_save(flags);
271*4882a593Smuzhiyun for (w = 0; w < DTLB_ARF_WAYS; ++w)
272*4882a593Smuzhiyun for (e = 0; e < (1 << XCHAL_DTLB_ARF_ENTRIES_LOG2); ++e)
273*4882a593Smuzhiyun bug |= check_tlb_entry(w, e, true);
274*4882a593Smuzhiyun for (w = 0; w < ITLB_ARF_WAYS; ++w)
275*4882a593Smuzhiyun for (e = 0; e < (1 << XCHAL_ITLB_ARF_ENTRIES_LOG2); ++e)
276*4882a593Smuzhiyun bug |= check_tlb_entry(w, e, false);
277*4882a593Smuzhiyun if (bug & TLB_INSANE)
278*4882a593Smuzhiyun tlb_insane();
279*4882a593Smuzhiyun if (bug & TLB_SUSPICIOUS)
280*4882a593Smuzhiyun tlb_suspicious();
281*4882a593Smuzhiyun local_irq_restore(flags);
282*4882a593Smuzhiyun }
283*4882a593Smuzhiyun
284*4882a593Smuzhiyun #endif /* CONFIG_DEBUG_TLB_SANITY */
285