Catalin Marinas | 1d18c47 | 2012-03-05 11:49:27 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Based on arch/arm/include/asm/page.h |
| 3 | * |
| 4 | * Copyright (C) 1995-2003 Russell King |
| 5 | * Copyright (C) 2012 ARM Ltd. |
| 6 | * |
| 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. |
| 10 | * |
| 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. |
| 15 | * |
| 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/>. |
| 18 | */ |
| 19 | #ifndef __ASM_PAGE_H |
| 20 | #define __ASM_PAGE_H |
| 21 | |
| 22 | /* PAGE_SHIFT determines the page size */ |
| 23 | #ifdef CONFIG_ARM64_64K_PAGES |
| 24 | #define PAGE_SHIFT 16 |
| 25 | #else |
| 26 | #define PAGE_SHIFT 12 |
| 27 | #endif |
| 28 | #define PAGE_SIZE (_AC(1,UL) << PAGE_SHIFT) |
| 29 | #define PAGE_MASK (~(PAGE_SIZE-1)) |
| 30 | |
Mark Rutland | bd00cd5 | 2014-06-24 16:51:35 +0100 | [diff] [blame] | 31 | /* |
| 32 | * The idmap and swapper page tables need some space reserved in the kernel |
Jungseok Lee | c79b954 | 2014-05-12 18:40:51 +0900 | [diff] [blame] | 33 | * image. Both require pgd, pud (4 levels only) and pmd tables to (section) |
Catalin Marinas | 383c279 | 2014-07-21 15:54:50 +0100 | [diff] [blame] | 34 | * map the kernel. With the 64K page configuration, swapper and idmap need to |
| 35 | * map to pte level. The swapper also maps the FDT (see __create_page_tables |
| 36 | * for more information). |
Mark Rutland | bd00cd5 | 2014-06-24 16:51:35 +0100 | [diff] [blame] | 37 | */ |
Catalin Marinas | 383c279 | 2014-07-21 15:54:50 +0100 | [diff] [blame] | 38 | #ifdef CONFIG_ARM64_64K_PAGES |
| 39 | #define SWAPPER_PGTABLE_LEVELS (CONFIG_ARM64_PGTABLE_LEVELS) |
Jungseok Lee | c79b954 | 2014-05-12 18:40:51 +0900 | [diff] [blame] | 40 | #else |
Catalin Marinas | 383c279 | 2014-07-21 15:54:50 +0100 | [diff] [blame] | 41 | #define SWAPPER_PGTABLE_LEVELS (CONFIG_ARM64_PGTABLE_LEVELS - 1) |
Jungseok Lee | c79b954 | 2014-05-12 18:40:51 +0900 | [diff] [blame] | 42 | #endif |
Mark Rutland | bd00cd5 | 2014-06-24 16:51:35 +0100 | [diff] [blame] | 43 | |
Catalin Marinas | 383c279 | 2014-07-21 15:54:50 +0100 | [diff] [blame] | 44 | #define SWAPPER_DIR_SIZE (SWAPPER_PGTABLE_LEVELS * PAGE_SIZE) |
| 45 | #define IDMAP_DIR_SIZE (SWAPPER_DIR_SIZE) |
| 46 | |
Catalin Marinas | 1d18c47 | 2012-03-05 11:49:27 +0000 | [diff] [blame] | 47 | #ifndef __ASSEMBLY__ |
| 48 | |
Catalin Marinas | 0f17402 | 2014-07-15 16:35:38 +0100 | [diff] [blame] | 49 | #include <asm/pgtable-types.h> |
Catalin Marinas | 1d18c47 | 2012-03-05 11:49:27 +0000 | [diff] [blame] | 50 | |
| 51 | extern void __cpu_clear_user_page(void *p, unsigned long user); |
| 52 | extern void __cpu_copy_user_page(void *to, const void *from, |
| 53 | unsigned long user); |
| 54 | extern void copy_page(void *to, const void *from); |
| 55 | extern void clear_page(void *to); |
| 56 | |
| 57 | #define clear_user_page(addr,vaddr,pg) __cpu_clear_user_page(addr, vaddr) |
| 58 | #define copy_user_page(to,from,vaddr,pg) __cpu_copy_user_page(to, from, vaddr) |
| 59 | |
| 60 | typedef struct page *pgtable_t; |
| 61 | |
| 62 | #ifdef CONFIG_HAVE_ARCH_PFN_VALID |
| 63 | extern int pfn_valid(unsigned long); |
| 64 | #endif |
| 65 | |
| 66 | #include <asm/memory.h> |
| 67 | |
| 68 | #endif /* !__ASSEMBLY__ */ |
| 69 | |
| 70 | #define VM_DATA_DEFAULT_FLAGS \ |
| 71 | (((current->personality & READ_IMPLIES_EXEC) ? VM_EXEC : 0) | \ |
| 72 | VM_READ | VM_WRITE | VM_MAYREAD | VM_MAYWRITE | VM_MAYEXEC) |
| 73 | |
| 74 | #include <asm-generic/getorder.h> |
| 75 | |
| 76 | #endif |