187d1587bSSuzuki K. Poulose /* 287d1587bSSuzuki K. Poulose * Kernel page table mapping 387d1587bSSuzuki K. Poulose * 487d1587bSSuzuki K. Poulose * Copyright (C) 2015 ARM Ltd. 587d1587bSSuzuki K. Poulose * 687d1587bSSuzuki K. Poulose * This program is free software; you can redistribute it and/or modify 787d1587bSSuzuki K. Poulose * it under the terms of the GNU General Public License version 2 as 887d1587bSSuzuki K. Poulose * published by the Free Software Foundation. 987d1587bSSuzuki K. Poulose * 1087d1587bSSuzuki K. Poulose * This program is distributed in the hope that it will be useful, 1187d1587bSSuzuki K. Poulose * but WITHOUT ANY WARRANTY; without even the implied warranty of 1287d1587bSSuzuki K. Poulose * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1387d1587bSSuzuki K. Poulose * GNU General Public License for more details. 1487d1587bSSuzuki K. Poulose * 1587d1587bSSuzuki K. Poulose * You should have received a copy of the GNU General Public License 1687d1587bSSuzuki K. Poulose * along with this program. If not, see <http://www.gnu.org/licenses/>. 1787d1587bSSuzuki K. Poulose */ 1887d1587bSSuzuki K. Poulose 1987d1587bSSuzuki K. Poulose #ifndef __ASM_KERNEL_PGTABLE_H 2087d1587bSSuzuki K. Poulose #define __ASM_KERNEL_PGTABLE_H 2187d1587bSSuzuki K. Poulose 22*b433dce0SSuzuki K. Poulose 23*b433dce0SSuzuki K. Poulose /* 24*b433dce0SSuzuki K. Poulose * The linear mapping and the start of memory are both 2M aligned (per 25*b433dce0SSuzuki K. Poulose * the arm64 booting.txt requirements). Hence we can use section mapping 26*b433dce0SSuzuki K. Poulose * with 4K (section size = 2M) but not with 16K (section size = 32M) or 27*b433dce0SSuzuki K. Poulose * 64K (section size = 512M). 28*b433dce0SSuzuki K. Poulose */ 29*b433dce0SSuzuki K. Poulose #ifdef CONFIG_ARM64_4K_PAGES 30*b433dce0SSuzuki K. Poulose #define ARM64_SWAPPER_USES_SECTION_MAPS 1 31*b433dce0SSuzuki K. Poulose #else 32*b433dce0SSuzuki K. Poulose #define ARM64_SWAPPER_USES_SECTION_MAPS 0 33*b433dce0SSuzuki K. Poulose #endif 34*b433dce0SSuzuki K. Poulose 3587d1587bSSuzuki K. Poulose /* 3687d1587bSSuzuki K. Poulose * The idmap and swapper page tables need some space reserved in the kernel 3787d1587bSSuzuki K. Poulose * image. Both require pgd, pud (4 levels only) and pmd tables to (section) 3887d1587bSSuzuki K. Poulose * map the kernel. With the 64K page configuration, swapper and idmap need to 3987d1587bSSuzuki K. Poulose * map to pte level. The swapper also maps the FDT (see __create_page_tables 4087d1587bSSuzuki K. Poulose * for more information). Note that the number of ID map translation levels 4187d1587bSSuzuki K. Poulose * could be increased on the fly if system RAM is out of reach for the default 4287d1587bSSuzuki K. Poulose * VA range, so 3 pages are reserved in all cases. 4387d1587bSSuzuki K. Poulose */ 44*b433dce0SSuzuki K. Poulose #if ARM64_SWAPPER_USES_SECTION_MAPS 4587d1587bSSuzuki K. Poulose #define SWAPPER_PGTABLE_LEVELS (CONFIG_PGTABLE_LEVELS - 1) 46*b433dce0SSuzuki K. Poulose #else 47*b433dce0SSuzuki K. Poulose #define SWAPPER_PGTABLE_LEVELS (CONFIG_PGTABLE_LEVELS) 4887d1587bSSuzuki K. Poulose #endif 4987d1587bSSuzuki K. Poulose 5087d1587bSSuzuki K. Poulose #define SWAPPER_DIR_SIZE (SWAPPER_PGTABLE_LEVELS * PAGE_SIZE) 5187d1587bSSuzuki K. Poulose #define IDMAP_DIR_SIZE (3 * PAGE_SIZE) 5287d1587bSSuzuki K. Poulose 5387d1587bSSuzuki K. Poulose /* Initial memory map size */ 54*b433dce0SSuzuki K. Poulose #if ARM64_SWAPPER_USES_SECTION_MAPS 5587d1587bSSuzuki K. Poulose #define SWAPPER_BLOCK_SHIFT SECTION_SHIFT 5687d1587bSSuzuki K. Poulose #define SWAPPER_BLOCK_SIZE SECTION_SIZE 5787d1587bSSuzuki K. Poulose #define SWAPPER_TABLE_SHIFT PUD_SHIFT 58*b433dce0SSuzuki K. Poulose #else 59*b433dce0SSuzuki K. Poulose #define SWAPPER_BLOCK_SHIFT PAGE_SHIFT 60*b433dce0SSuzuki K. Poulose #define SWAPPER_BLOCK_SIZE PAGE_SIZE 61*b433dce0SSuzuki K. Poulose #define SWAPPER_TABLE_SHIFT PMD_SHIFT 6287d1587bSSuzuki K. Poulose #endif 6387d1587bSSuzuki K. Poulose 64*b433dce0SSuzuki K. Poulose /* The size of the initial kernel direct mapping */ 65*b433dce0SSuzuki K. Poulose #define SWAPPER_INIT_MAP_SIZE (_AC(1, UL) << SWAPPER_TABLE_SHIFT) 6687d1587bSSuzuki K. Poulose 6787d1587bSSuzuki K. Poulose /* 6887d1587bSSuzuki K. Poulose * Initial memory map attributes. 6987d1587bSSuzuki K. Poulose */ 7087d1587bSSuzuki K. Poulose #define SWAPPER_PTE_FLAGS (PTE_TYPE_PAGE | PTE_AF | PTE_SHARED) 7187d1587bSSuzuki K. Poulose #define SWAPPER_PMD_FLAGS (PMD_TYPE_SECT | PMD_SECT_AF | PMD_SECT_S) 7287d1587bSSuzuki K. Poulose 73*b433dce0SSuzuki K. Poulose #if ARM64_SWAPPER_USES_SECTION_MAPS 7487d1587bSSuzuki K. Poulose #define SWAPPER_MM_MMUFLAGS (PMD_ATTRINDX(MT_NORMAL) | SWAPPER_PMD_FLAGS) 75*b433dce0SSuzuki K. Poulose #else 76*b433dce0SSuzuki K. Poulose #define SWAPPER_MM_MMUFLAGS (PTE_ATTRINDX(MT_NORMAL) | SWAPPER_PTE_FLAGS) 7787d1587bSSuzuki K. Poulose #endif 7887d1587bSSuzuki K. Poulose 7987d1587bSSuzuki K. Poulose 8087d1587bSSuzuki K. Poulose #endif /* __ASM_KERNEL_PGTABLE_H */ 81