xref: /kvm-unit-tests/lib/arm/mmu.c (revision e97e1c827fadc972c4efc8fc0650984b6fcc74e8)
1153d1936SAndrew Jones /*
2153d1936SAndrew Jones  * MMU enable and page table manipulation functions
3153d1936SAndrew Jones  *
4153d1936SAndrew Jones  * Copyright (C) 2014, Red Hat Inc, Andrew Jones <drjones@redhat.com>
5153d1936SAndrew Jones  *
6153d1936SAndrew Jones  * This work is licensed under the terms of the GNU LGPL, version 2.
7153d1936SAndrew Jones  */
88cca5668SAndrew Jones #include <asm/setup.h>
9eb225344SAndrew Jones #include <asm/thread_info.h>
10eb225344SAndrew Jones #include <asm/cpumask.h>
118cca5668SAndrew Jones #include <asm/mmu.h>
12c2a95639SPaolo Bonzini #include <asm/setup.h>
13c2a95639SPaolo Bonzini #include <asm/page.h>
14*e97e1c82SAndrew Jones #include <asm/io.h>
15c2a95639SPaolo Bonzini 
16031755dbSPaolo Bonzini #include "alloc_page.h"
17031755dbSPaolo Bonzini #include "vmalloc.h"
18c2a95639SPaolo Bonzini #include <asm/pgtable-hwdef.h>
19c2a95639SPaolo Bonzini #include <asm/pgtable.h>
20153d1936SAndrew Jones 
2170cea146SAlexandru Elisei #include <linux/compiler.h>
2270cea146SAlexandru Elisei 
23db328a24SAndrew Jones extern unsigned long etext;
24db328a24SAndrew Jones 
252f3028cdSAndrew Jones pgd_t *mmu_idmap;
26153d1936SAndrew Jones 
27c33efcf3SAndrew Jones /* CPU 0 starts with disabled MMU */
280917dc65SNikos Nikoleris static cpumask_t mmu_enabled_cpumask;
29c33efcf3SAndrew Jones 
300917dc65SNikos Nikoleris bool mmu_enabled(void)
31153d1936SAndrew Jones {
321742c67aSAndrew Jones 	/*
331742c67aSAndrew Jones 	 * mmu_enabled is called from places that are guarding the
341742c67aSAndrew Jones 	 * use of exclusive ops (which require the mmu to be enabled).
351742c67aSAndrew Jones 	 * That means we CANNOT call anything from here that may use a
361742c67aSAndrew Jones 	 * spinlock, atomic bitop, etc., otherwise we'll recurse.
371742c67aSAndrew Jones 	 * [cpumask_]test_bit is safe though.
381742c67aSAndrew Jones 	 */
390917dc65SNikos Nikoleris 	if (is_user()) {
400917dc65SNikos Nikoleris 		int cpu = current_thread_info()->cpu;
410917dc65SNikos Nikoleris 		return cpumask_test_cpu(cpu, &mmu_enabled_cpumask);
420917dc65SNikos Nikoleris 	}
430917dc65SNikos Nikoleris 
440917dc65SNikos Nikoleris 	return __mmu_enabled();
45153d1936SAndrew Jones }
46153d1936SAndrew Jones 
471742c67aSAndrew Jones void mmu_mark_enabled(int cpu)
481742c67aSAndrew Jones {
490917dc65SNikos Nikoleris 	cpumask_set_cpu(cpu, &mmu_enabled_cpumask);
501742c67aSAndrew Jones }
511742c67aSAndrew Jones 
521742c67aSAndrew Jones void mmu_mark_disabled(int cpu)
531742c67aSAndrew Jones {
540917dc65SNikos Nikoleris 	cpumask_clear_cpu(cpu, &mmu_enabled_cpumask);
551742c67aSAndrew Jones }
561742c67aSAndrew Jones 
57153d1936SAndrew Jones extern void asm_mmu_enable(phys_addr_t pgtable);
58153d1936SAndrew Jones void mmu_enable(pgd_t *pgtable)
59153d1936SAndrew Jones {
6036b50de9SAndrew Jones 	struct thread_info *info = current_thread_info();
61c33efcf3SAndrew Jones 
62153d1936SAndrew Jones 	asm_mmu_enable(__pa(pgtable));
63b141dbacSAndrew Jones 
6436b50de9SAndrew Jones 	info->pgtable = pgtable;
6536b50de9SAndrew Jones 	mmu_mark_enabled(info->cpu);
66153d1936SAndrew Jones }
67153d1936SAndrew Jones 
68e27b176bSAndrew Jones extern void asm_mmu_disable(void);
69e27b176bSAndrew Jones void mmu_disable(void)
70e27b176bSAndrew Jones {
7108c19b24SAlexandru Elisei 	unsigned long sp = current_stack_pointer;
72c33efcf3SAndrew Jones 	int cpu = current_thread_info()->cpu;
73c33efcf3SAndrew Jones 
7408c19b24SAlexandru Elisei 	assert_msg(__virt_to_phys(sp) == sp,
7508c19b24SAlexandru Elisei 			"Attempting to disable MMU with non-identity mapped stack");
7608c19b24SAlexandru Elisei 
77c33efcf3SAndrew Jones 	mmu_mark_disabled(cpu);
78c33efcf3SAndrew Jones 
79e27b176bSAndrew Jones 	asm_mmu_disable();
80e27b176bSAndrew Jones }
81e27b176bSAndrew Jones 
82031755dbSPaolo Bonzini static pteval_t *get_pte(pgd_t *pgtable, uintptr_t vaddr)
83031755dbSPaolo Bonzini {
84031755dbSPaolo Bonzini 	pgd_t *pgd = pgd_offset(pgtable, vaddr);
85a2d06852SNikos Nikoleris 	pud_t *pud = pud_alloc(pgd, vaddr);
86a2d06852SNikos Nikoleris 	pmd_t *pmd = pmd_alloc(pud, vaddr);
87031755dbSPaolo Bonzini 	pte_t *pte = pte_alloc(pmd, vaddr);
88031755dbSPaolo Bonzini 
89031755dbSPaolo Bonzini 	return &pte_val(*pte);
90031755dbSPaolo Bonzini }
91031755dbSPaolo Bonzini 
92031755dbSPaolo Bonzini static pteval_t *install_pte(pgd_t *pgtable, uintptr_t vaddr, pteval_t pte)
93031755dbSPaolo Bonzini {
94031755dbSPaolo Bonzini 	pteval_t *p_pte = get_pte(pgtable, vaddr);
95f8891de2SAndrew Jones 
9670cea146SAlexandru Elisei 	WRITE_ONCE(*p_pte, pte);
9720239febSAlexandru Elisei 	flush_tlb_page(vaddr);
98031755dbSPaolo Bonzini 	return p_pte;
99031755dbSPaolo Bonzini }
100031755dbSPaolo Bonzini 
101031755dbSPaolo Bonzini static pteval_t *install_page_prot(pgd_t *pgtable, phys_addr_t phys,
102031755dbSPaolo Bonzini 				   uintptr_t vaddr, pgprot_t prot)
103031755dbSPaolo Bonzini {
104031755dbSPaolo Bonzini 	pteval_t pte = phys;
105031755dbSPaolo Bonzini 	pte |= PTE_TYPE_PAGE | PTE_AF | PTE_SHARED;
106031755dbSPaolo Bonzini 	pte |= pgprot_val(prot);
107031755dbSPaolo Bonzini 	return install_pte(pgtable, vaddr, pte);
108031755dbSPaolo Bonzini }
109031755dbSPaolo Bonzini 
110031755dbSPaolo Bonzini pteval_t *install_page(pgd_t *pgtable, phys_addr_t phys, void *virt)
111031755dbSPaolo Bonzini {
112031755dbSPaolo Bonzini 	return install_page_prot(pgtable, phys, (uintptr_t)virt,
113031755dbSPaolo Bonzini 				 __pgprot(PTE_WBWA | PTE_USER));
114031755dbSPaolo Bonzini }
115031755dbSPaolo Bonzini 
116031755dbSPaolo Bonzini phys_addr_t virt_to_pte_phys(pgd_t *pgtable, void *mem)
117031755dbSPaolo Bonzini {
118031755dbSPaolo Bonzini 	return (*get_pte(pgtable, (uintptr_t)mem) & PHYS_MASK & -PAGE_SIZE)
119031755dbSPaolo Bonzini 		+ ((ulong)mem & (PAGE_SIZE - 1));
120031755dbSPaolo Bonzini }
121031755dbSPaolo Bonzini 
122f0671a7bSPaolo Bonzini void mmu_set_range_ptes(pgd_t *pgtable, uintptr_t virt_offset,
123f0671a7bSPaolo Bonzini 			phys_addr_t phys_start, phys_addr_t phys_end,
1242f3028cdSAndrew Jones 			pgprot_t prot)
125153d1936SAndrew Jones {
126f0671a7bSPaolo Bonzini 	phys_addr_t paddr = phys_start & PAGE_MASK;
127f0671a7bSPaolo Bonzini 	uintptr_t vaddr = virt_offset & PAGE_MASK;
128f0671a7bSPaolo Bonzini 	uintptr_t virt_end = phys_end - paddr + vaddr;
1292f3028cdSAndrew Jones 
130031755dbSPaolo Bonzini 	for (; vaddr < virt_end; vaddr += PAGE_SIZE, paddr += PAGE_SIZE)
131031755dbSPaolo Bonzini 		install_page_prot(pgtable, paddr, vaddr, prot);
1322f3028cdSAndrew Jones }
1332f3028cdSAndrew Jones 
134f0671a7bSPaolo Bonzini void mmu_set_range_sect(pgd_t *pgtable, uintptr_t virt_offset,
135f0671a7bSPaolo Bonzini 			phys_addr_t phys_start, phys_addr_t phys_end,
1362f3028cdSAndrew Jones 			pgprot_t prot)
1372f3028cdSAndrew Jones {
138a2d06852SNikos Nikoleris 	phys_addr_t paddr = phys_start & PMD_MASK;
139a2d06852SNikos Nikoleris 	uintptr_t vaddr = virt_offset & PMD_MASK;
140f0671a7bSPaolo Bonzini 	uintptr_t virt_end = phys_end - paddr + vaddr;
14170cea146SAlexandru Elisei 	pgd_t *pgd;
142a2d06852SNikos Nikoleris 	pud_t *pud;
143a2d06852SNikos Nikoleris 	pmd_t *pmd;
144a2d06852SNikos Nikoleris 	pmd_t entry;
1452f3028cdSAndrew Jones 
146a2d06852SNikos Nikoleris 	for (; vaddr < virt_end; vaddr += PMD_SIZE, paddr += PMD_SIZE) {
147a2d06852SNikos Nikoleris 		pmd_val(entry) = paddr;
148a2d06852SNikos Nikoleris 		pmd_val(entry) |= PMD_TYPE_SECT | PMD_SECT_AF | PMD_SECT_S;
149a2d06852SNikos Nikoleris 		pmd_val(entry) |= pgprot_val(prot);
15070cea146SAlexandru Elisei 		pgd = pgd_offset(pgtable, vaddr);
151a2d06852SNikos Nikoleris 		pud = pud_alloc(pgd, vaddr);
152a2d06852SNikos Nikoleris 		pmd = pmd_alloc(pud, vaddr);
153a2d06852SNikos Nikoleris 		WRITE_ONCE(*pmd, entry);
154f8891de2SAndrew Jones 		flush_tlb_page(vaddr);
1552f3028cdSAndrew Jones 	}
1562f3028cdSAndrew Jones }
1572f3028cdSAndrew Jones 
158031755dbSPaolo Bonzini void *setup_mmu(phys_addr_t phys_end)
159153d1936SAndrew Jones {
160f0671a7bSPaolo Bonzini 	uintptr_t code_end = (uintptr_t)&etext;
161153d1936SAndrew Jones 
162*e97e1c82SAndrew Jones 	/* 3G-4G region is reserved for vmalloc, cap phys_end at 3G */
163031755dbSPaolo Bonzini 	if (phys_end > (3ul << 30))
164031755dbSPaolo Bonzini 		phys_end = 3ul << 30;
165031755dbSPaolo Bonzini 
166031755dbSPaolo Bonzini #ifdef __aarch64__
167031755dbSPaolo Bonzini 	init_alloc_vpage((void*)(4ul << 30));
168c67363eeSNikos Nikoleris 
169c67363eeSNikos Nikoleris 	assert_msg(system_supports_granule(PAGE_SIZE),
170c67363eeSNikos Nikoleris 			"Unsupported translation granule %ld\n", PAGE_SIZE);
171031755dbSPaolo Bonzini #endif
172031755dbSPaolo Bonzini 
173*e97e1c82SAndrew Jones 	if (!mmu_idmap)
174031755dbSPaolo Bonzini 		mmu_idmap = alloc_page();
175153d1936SAndrew Jones 
176db328a24SAndrew Jones 	/* armv8 requires code shared between EL1 and EL0 to be read-only */
1772f3028cdSAndrew Jones 	mmu_set_range_ptes(mmu_idmap, PHYS_OFFSET,
178db328a24SAndrew Jones 		PHYS_OFFSET, code_end,
179db328a24SAndrew Jones 		__pgprot(PTE_WBWA | PTE_RDONLY | PTE_USER));
180db328a24SAndrew Jones 
181db328a24SAndrew Jones 	mmu_set_range_ptes(mmu_idmap, code_end,
182db328a24SAndrew Jones 		code_end, phys_end,
1832f3028cdSAndrew Jones 		__pgprot(PTE_WBWA | PTE_USER));
184153d1936SAndrew Jones 
1852f3028cdSAndrew Jones 	mmu_enable(mmu_idmap);
186031755dbSPaolo Bonzini 	return mmu_idmap;
187153d1936SAndrew Jones }
188f02b6363SAndrew Jones 
189*e97e1c82SAndrew Jones void __iomem *__ioremap(phys_addr_t phys_addr, size_t size)
190*e97e1c82SAndrew Jones {
191*e97e1c82SAndrew Jones 	phys_addr_t paddr_aligned = phys_addr & PAGE_MASK;
192*e97e1c82SAndrew Jones 	phys_addr_t paddr_end = PAGE_ALIGN(phys_addr + size);
193*e97e1c82SAndrew Jones 	pgprot_t prot = __pgprot(PTE_UNCACHED | PTE_USER | PTE_UXN | PTE_PXN);
194*e97e1c82SAndrew Jones 	pgd_t *pgtable;
195*e97e1c82SAndrew Jones 
196*e97e1c82SAndrew Jones 	assert(sizeof(long) == 8 || !(phys_addr >> 32));
197*e97e1c82SAndrew Jones 
198*e97e1c82SAndrew Jones 	if (mmu_enabled()) {
199*e97e1c82SAndrew Jones 		pgtable = current_thread_info()->pgtable;
200*e97e1c82SAndrew Jones 	} else {
201*e97e1c82SAndrew Jones 		if (!mmu_idmap)
202*e97e1c82SAndrew Jones 			mmu_idmap = alloc_page();
203*e97e1c82SAndrew Jones 		pgtable = mmu_idmap;
204*e97e1c82SAndrew Jones 	}
205*e97e1c82SAndrew Jones 
206*e97e1c82SAndrew Jones 	mmu_set_range_ptes(pgtable, paddr_aligned, paddr_aligned,
207*e97e1c82SAndrew Jones 			   paddr_end, prot);
208*e97e1c82SAndrew Jones 
209*e97e1c82SAndrew Jones 	return (void __iomem *)(unsigned long)phys_addr;
210*e97e1c82SAndrew Jones }
211*e97e1c82SAndrew Jones 
212f02b6363SAndrew Jones phys_addr_t __virt_to_phys(unsigned long addr)
213f02b6363SAndrew Jones {
214f02b6363SAndrew Jones 	if (mmu_enabled()) {
215f02b6363SAndrew Jones 		pgd_t *pgtable = current_thread_info()->pgtable;
216f02b6363SAndrew Jones 		return virt_to_pte_phys(pgtable, (void *)addr);
217f02b6363SAndrew Jones 	}
218f02b6363SAndrew Jones 	return addr;
219f02b6363SAndrew Jones }
220f02b6363SAndrew Jones 
221f02b6363SAndrew Jones unsigned long __phys_to_virt(phys_addr_t addr)
222f02b6363SAndrew Jones {
223f02b6363SAndrew Jones 	/*
224f02b6363SAndrew Jones 	 * We don't guarantee that phys_to_virt(virt_to_phys(vaddr)) == vaddr, but
225f02b6363SAndrew Jones 	 * the default page tables do identity map all physical addresses, which
226f02b6363SAndrew Jones 	 * means phys_to_virt(virt_to_phys((void *)paddr)) == paddr.
227f02b6363SAndrew Jones 	 */
228f02b6363SAndrew Jones 	assert(!mmu_enabled() || __virt_to_phys(addr) == addr);
229f02b6363SAndrew Jones 	return addr;
230f02b6363SAndrew Jones }
2313ff42bddSAlexandru Elisei 
2322e2b82a0SLuc Maranget /*
2332e2b82a0SLuc Maranget  * NOTE: The Arm architecture might require the use of a
2342e2b82a0SLuc Maranget  * break-before-make sequence before making changes to a PTE and
2352e2b82a0SLuc Maranget  * certain conditions are met (see Arm ARM D5-2669 for AArch64 and
2362e2b82a0SLuc Maranget  * B3-1378 for AArch32 for more details).
2372e2b82a0SLuc Maranget  */
2382e2b82a0SLuc Maranget pteval_t *mmu_get_pte(pgd_t *pgtable, uintptr_t vaddr)
2393ff42bddSAlexandru Elisei {
24002f1cdc8SAlexandru Elisei 	pgd_t *pgd;
241a2d06852SNikos Nikoleris 	pud_t *pud;
24202f1cdc8SAlexandru Elisei 	pmd_t *pmd;
24302f1cdc8SAlexandru Elisei 	pte_t *pte;
2443ff42bddSAlexandru Elisei 
2453ff42bddSAlexandru Elisei 	if (!mmu_enabled())
2462e2b82a0SLuc Maranget 		return NULL;
2473ff42bddSAlexandru Elisei 
24802f1cdc8SAlexandru Elisei 	pgd = pgd_offset(pgtable, vaddr);
24902f1cdc8SAlexandru Elisei 	assert(pgd_valid(*pgd));
250a2d06852SNikos Nikoleris 	pud = pud_offset(pgd, vaddr);
251a2d06852SNikos Nikoleris 	assert(pud_valid(*pud));
252a2d06852SNikos Nikoleris 	pmd = pmd_offset(pud, vaddr);
25302f1cdc8SAlexandru Elisei 	assert(pmd_valid(*pmd));
2543ff42bddSAlexandru Elisei 
2552e2b82a0SLuc Maranget 	if (pmd_huge(*pmd))
2562e2b82a0SLuc Maranget 		return &pmd_val(*pmd);
25702f1cdc8SAlexandru Elisei 
25802f1cdc8SAlexandru Elisei 	pte = pte_offset(pmd, vaddr);
25902f1cdc8SAlexandru Elisei 	assert(pte_valid(*pte));
26002f1cdc8SAlexandru Elisei 
2612e2b82a0SLuc Maranget         return &pte_val(*pte);
2622e2b82a0SLuc Maranget }
2632e2b82a0SLuc Maranget 
2642e2b82a0SLuc Maranget void mmu_clear_user(pgd_t *pgtable, unsigned long vaddr)
2652e2b82a0SLuc Maranget {
2662e2b82a0SLuc Maranget 	pteval_t *p_pte = mmu_get_pte(pgtable, vaddr);
2672e2b82a0SLuc Maranget 	if (p_pte) {
2682e2b82a0SLuc Maranget 		pteval_t entry = *p_pte & ~PTE_USER;
2692e2b82a0SLuc Maranget 		WRITE_ONCE(*p_pte, entry);
2703ff42bddSAlexandru Elisei 		flush_tlb_page(vaddr);
2713ff42bddSAlexandru Elisei 	}
2722e2b82a0SLuc Maranget }
273