2 * Based on arch/arm/mm/mmu.c
4 * Copyright (C) 1995-2005 Russell King
5 * Copyright (C) 2012 ARM Ltd.
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.
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.
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/>.
20 #include <linux/export.h>
21 #include <linux/kernel.h>
22 #include <linux/errno.h>
23 #include <linux/init.h>
24 #include <linux/mman.h>
25 #include <linux/nodemask.h>
26 #include <linux/memblock.h>
30 #include <asm/cputype.h>
31 #include <asm/sections.h>
32 #include <asm/setup.h>
33 #include <asm/sizes.h>
35 #include <asm/mmu_context.h>
40 * Empty_zero_page is a special page that is used for zero-initialized data
43 struct page *empty_zero_page;
44 EXPORT_SYMBOL(empty_zero_page);
47 const char policy[16];
52 static struct cachepolicy cache_policies[] __initdata = {
55 .mair = 0x44, /* inner, outer non-cacheable */
56 .tcr = TCR_IRGN_NC | TCR_ORGN_NC,
58 .policy = "writethrough",
59 .mair = 0xaa, /* inner, outer write-through, read-allocate */
60 .tcr = TCR_IRGN_WT | TCR_ORGN_WT,
62 .policy = "writeback",
63 .mair = 0xee, /* inner, outer write-back, read-allocate */
64 .tcr = TCR_IRGN_WBnWA | TCR_ORGN_WBnWA,
69 * These are useful for identifying cache coherency problems by allowing the
70 * cache or the cache and writebuffer to be turned off. It changes the Normal
71 * memory caching attributes in the MAIR_EL1 register.
73 static int __init early_cachepolicy(char *p)
78 for (i = 0; i < ARRAY_SIZE(cache_policies); i++) {
79 int len = strlen(cache_policies[i].policy);
81 if (memcmp(p, cache_policies[i].policy, len) == 0)
84 if (i == ARRAY_SIZE(cache_policies)) {
85 pr_err("ERROR: unknown or unsupported cache policy: %s\n", p);
92 * Modify MT_NORMAL attributes in MAIR_EL1.
96 " bfi %0, %1, #%2, #8\n"
100 : "r" (cache_policies[i].mair), "i" (MT_NORMAL * 8));
103 * Modify TCR PTW cacheability attributes.
112 : "r" (cache_policies[i].tcr), "r" (TCR_IRGN_MASK | TCR_ORGN_MASK));
118 early_param("cachepolicy", early_cachepolicy);
120 pgprot_t phys_mem_access_prot(struct file *file, unsigned long pfn,
121 unsigned long size, pgprot_t vma_prot)
124 return pgprot_noncached(vma_prot);
125 else if (file->f_flags & O_SYNC)
126 return pgprot_writecombine(vma_prot);
129 EXPORT_SYMBOL(phys_mem_access_prot);
131 static void __init *early_alloc(unsigned long sz)
133 void *ptr = __va(memblock_alloc(sz, sz));
138 static void __init alloc_init_pte(pmd_t *pmd, unsigned long addr,
139 unsigned long end, unsigned long pfn,
144 if (pmd_none(*pmd)) {
145 pte = early_alloc(PTRS_PER_PTE * sizeof(pte_t));
146 __pmd_populate(pmd, __pa(pte), PMD_TYPE_TABLE);
148 BUG_ON(pmd_bad(*pmd));
150 pte = pte_offset_kernel(pmd, addr);
152 set_pte(pte, pfn_pte(pfn, prot));
154 } while (pte++, addr += PAGE_SIZE, addr != end);
157 static void __init alloc_init_pmd(pud_t *pud, unsigned long addr,
158 unsigned long end, phys_addr_t phys,
167 prot_sect = PMD_TYPE_SECT | PMD_SECT_AF |
168 PMD_ATTRINDX(MT_DEVICE_nGnRE);
169 prot_pte = __pgprot(PROT_DEVICE_nGnRE);
171 prot_sect = PROT_SECT_NORMAL_EXEC;
172 prot_pte = PAGE_KERNEL_EXEC;
176 * Check for initial section mappings in the pgd/pud and remove them.
178 if (pud_none(*pud) || pud_bad(*pud)) {
179 pmd = early_alloc(PTRS_PER_PMD * sizeof(pmd_t));
180 pud_populate(&init_mm, pud, pmd);
183 pmd = pmd_offset(pud, addr);
185 next = pmd_addr_end(addr, end);
186 /* try section mapping first */
187 if (((addr | next | phys) & ~SECTION_MASK) == 0) {
189 set_pmd(pmd, __pmd(phys | prot_sect));
191 * Check for previous table entries created during
192 * boot (__create_page_tables) and flush them.
194 if (!pmd_none(old_pmd))
197 alloc_init_pte(pmd, addr, next, __phys_to_pfn(phys),
201 } while (pmd++, addr = next, addr != end);
204 static void __init alloc_init_pud(pgd_t *pgd, unsigned long addr,
205 unsigned long end, unsigned long phys,
208 pud_t *pud = pud_offset(pgd, addr);
212 next = pud_addr_end(addr, end);
213 alloc_init_pmd(pud, addr, next, phys, map_io);
215 } while (pud++, addr = next, addr != end);
219 * Create the page directory entries and any necessary page tables for the
220 * mapping specified by 'md'.
222 static void __init __create_mapping(pgd_t *pgd, phys_addr_t phys,
223 unsigned long virt, phys_addr_t size,
226 unsigned long addr, length, end, next;
228 addr = virt & PAGE_MASK;
229 length = PAGE_ALIGN(size + (virt & ~PAGE_MASK));
233 next = pgd_addr_end(addr, end);
234 alloc_init_pud(pgd, addr, next, phys, map_io);
236 } while (pgd++, addr = next, addr != end);
239 static void __init create_mapping(phys_addr_t phys, unsigned long virt,
242 if (virt < VMALLOC_START) {
243 pr_warn("BUG: not creating mapping for %pa at 0x%016lx - outside kernel range\n",
247 __create_mapping(pgd_offset_k(virt & PAGE_MASK), phys, virt, size, 0);
250 void __init create_id_mapping(phys_addr_t addr, phys_addr_t size, int map_io)
252 if ((addr >> PGDIR_SHIFT) >= ARRAY_SIZE(idmap_pg_dir)) {
253 pr_warn("BUG: not creating id mapping for %pa\n", &addr);
256 __create_mapping(&idmap_pg_dir[pgd_index(addr)],
257 addr, addr, size, map_io);
260 static void __init map_mem(void)
262 struct memblock_region *reg;
266 * Temporarily limit the memblock range. We need to do this as
267 * create_mapping requires puds, pmds and ptes to be allocated from
268 * memory addressable from the initial direct kernel mapping.
270 * The initial direct kernel mapping, located at swapper_pg_dir,
271 * gives us PGDIR_SIZE memory starting from PHYS_OFFSET (which must be
272 * aligned to 2MB as per Documentation/arm64/booting.txt).
274 limit = PHYS_OFFSET + PGDIR_SIZE;
275 memblock_set_current_limit(limit);
277 /* map all the memory banks */
278 for_each_memblock(memory, reg) {
279 phys_addr_t start = reg->base;
280 phys_addr_t end = start + reg->size;
285 #ifndef CONFIG_ARM64_64K_PAGES
287 * For the first memory bank align the start address and
288 * current memblock limit to prevent create_mapping() from
289 * allocating pte page tables from unmapped memory.
290 * When 64K pages are enabled, the pte page table for the
291 * first PGDIR_SIZE is already present in swapper_pg_dir.
294 start = ALIGN(start, PMD_SIZE);
296 limit = end & PMD_MASK;
297 memblock_set_current_limit(limit);
301 create_mapping(start, __phys_to_virt(start), end - start);
304 /* Limit no longer required. */
305 memblock_set_current_limit(MEMBLOCK_ALLOC_ANYWHERE);
309 * paging_init() sets up the page tables, initialises the zone memory
310 * maps and sets up the zero page.
312 void __init paging_init(void)
319 * Finally flush the caches and tlb to ensure that we're in a
325 /* allocate the zero page. */
326 zero_page = early_alloc(PAGE_SIZE);
330 empty_zero_page = virt_to_page(zero_page);
333 * TTBR0 is only used for the identity mapping at this stage. Make it
334 * point to zero page to avoid speculatively fetching new entries.
336 cpu_set_reserved_ttbr0();
341 * Enable the identity mapping to allow the MMU disabling.
343 void setup_mm_for_reboot(void)
345 cpu_switch_mm(idmap_pg_dir, &init_mm);
350 * Check whether a kernel address is valid (derived from arch/x86/).
352 int kern_addr_valid(unsigned long addr)
359 if ((((long)addr) >> VA_BITS) != -1UL)
362 pgd = pgd_offset_k(addr);
366 pud = pud_offset(pgd, addr);
370 pmd = pmd_offset(pud, addr);
375 return pfn_valid(pmd_pfn(*pmd));
377 pte = pte_offset_kernel(pmd, addr);
381 return pfn_valid(pte_pfn(*pte));
383 #ifdef CONFIG_SPARSEMEM_VMEMMAP
384 #ifdef CONFIG_ARM64_64K_PAGES
385 int __meminit vmemmap_populate(unsigned long start, unsigned long end, int node)
387 return vmemmap_populate_basepages(start, end, node);
389 #else /* !CONFIG_ARM64_64K_PAGES */
390 int __meminit vmemmap_populate(unsigned long start, unsigned long end, int node)
392 unsigned long addr = start;
399 next = pmd_addr_end(addr, end);
401 pgd = vmemmap_pgd_populate(addr, node);
405 pud = vmemmap_pud_populate(pgd, addr, node);
409 pmd = pmd_offset(pud, addr);
410 if (pmd_none(*pmd)) {
413 p = vmemmap_alloc_block_buf(PMD_SIZE, node);
417 set_pmd(pmd, __pmd(__pa(p) | PROT_SECT_NORMAL));
419 vmemmap_verify((pte_t *)pmd, node, addr, next);
420 } while (addr = next, addr != end);
424 #endif /* CONFIG_ARM64_64K_PAGES */
425 void vmemmap_free(unsigned long start, unsigned long end)
428 #endif /* CONFIG_SPARSEMEM_VMEMMAP */