H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 1 | #ifndef _ASM_X86_PGTABLE_64_H |
| 2 | #define _ASM_X86_PGTABLE_64_H |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | |
Randy Dunlap | 6df95fd | 2007-05-08 00:31:11 -0700 | [diff] [blame] | 4 | #include <linux/const.h> |
Jeremy Fitzhardinge | fb35514 | 2009-02-08 18:50:52 -0800 | [diff] [blame] | 5 | #include <asm/pgtable_64_types.h> |
| 6 | |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 7 | #ifndef __ASSEMBLY__ |
| 8 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 9 | /* |
| 10 | * This file contains the functions and defines necessary to modify and use |
| 11 | * the x86-64 page table tree. |
| 12 | */ |
| 13 | #include <asm/processor.h> |
Jiri Slaby | 1977f03 | 2007-10-18 23:40:25 -0700 | [diff] [blame] | 14 | #include <linux/bitops.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | #include <linux/threads.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 | |
Kirill A. Shutemov | 032370b | 2017-06-06 14:31:28 +0300 | [diff] [blame] | 17 | extern p4d_t level4_kernel_pgt[512]; |
| 18 | extern p4d_t level4_ident_pgt[512]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 19 | extern pud_t level3_kernel_pgt[512]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 20 | extern pud_t level3_ident_pgt[512]; |
| 21 | extern pmd_t level2_kernel_pgt[512]; |
Jeremy Fitzhardinge | 084a2a4 | 2008-07-08 15:06:50 -0700 | [diff] [blame] | 22 | extern pmd_t level2_fixmap_pgt[512]; |
| 23 | extern pmd_t level2_ident_pgt[512]; |
Stefan Bader | 0b5a506 | 2014-09-02 11:16:01 +0100 | [diff] [blame] | 24 | extern pte_t level1_fixmap_pgt[512]; |
Kirill A. Shutemov | 65ade2f | 2017-06-06 14:31:27 +0300 | [diff] [blame] | 25 | extern pgd_t init_top_pgt[]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 26 | |
Kirill A. Shutemov | 65ade2f | 2017-06-06 14:31:27 +0300 | [diff] [blame] | 27 | #define swapper_pg_dir init_top_pgt |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 28 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 29 | extern void paging_init(void); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 30 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 31 | #define pte_ERROR(e) \ |
Joe Perches | c767a54 | 2012-05-21 19:50:07 -0700 | [diff] [blame] | 32 | pr_err("%s:%d: bad pte %p(%016lx)\n", \ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 33 | __FILE__, __LINE__, &(e), pte_val(e)) |
| 34 | #define pmd_ERROR(e) \ |
Joe Perches | c767a54 | 2012-05-21 19:50:07 -0700 | [diff] [blame] | 35 | pr_err("%s:%d: bad pmd %p(%016lx)\n", \ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 36 | __FILE__, __LINE__, &(e), pmd_val(e)) |
| 37 | #define pud_ERROR(e) \ |
Joe Perches | c767a54 | 2012-05-21 19:50:07 -0700 | [diff] [blame] | 38 | pr_err("%s:%d: bad pud %p(%016lx)\n", \ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 39 | __FILE__, __LINE__, &(e), pud_val(e)) |
Kirill A. Shutemov | b850405 | 2017-03-30 11:07:29 +0300 | [diff] [blame] | 40 | |
| 41 | #if CONFIG_PGTABLE_LEVELS >= 5 |
| 42 | #define p4d_ERROR(e) \ |
| 43 | pr_err("%s:%d: bad p4d %p(%016lx)\n", \ |
| 44 | __FILE__, __LINE__, &(e), p4d_val(e)) |
| 45 | #endif |
| 46 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 47 | #define pgd_ERROR(e) \ |
Joe Perches | c767a54 | 2012-05-21 19:50:07 -0700 | [diff] [blame] | 48 | pr_err("%s:%d: bad pgd %p(%016lx)\n", \ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 49 | __FILE__, __LINE__, &(e), pgd_val(e)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 50 | |
Tim Schmielau | 8c65b4a | 2005-11-07 00:59:43 -0800 | [diff] [blame] | 51 | struct mm_struct; |
| 52 | |
Kirill A. Shutemov | f2a6a70 | 2017-03-17 21:55:15 +0300 | [diff] [blame] | 53 | void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte); |
Eduardo Habkost | 0814e0b | 2008-06-25 00:19:22 -0400 | [diff] [blame] | 54 | void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte); |
| 55 | |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 56 | static inline void native_pte_clear(struct mm_struct *mm, unsigned long addr, |
| 57 | pte_t *ptep) |
Zachary Amsden | 61e0603 | 2005-09-03 15:55:06 -0700 | [diff] [blame] | 58 | { |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 59 | *ptep = native_make_pte(0); |
| 60 | } |
| 61 | |
| 62 | static inline void native_set_pte(pte_t *ptep, pte_t pte) |
| 63 | { |
| 64 | *ptep = pte; |
| 65 | } |
| 66 | |
Ingo Molnar | b65e639 | 2008-01-30 13:34:01 +0100 | [diff] [blame] | 67 | static inline void native_set_pte_atomic(pte_t *ptep, pte_t pte) |
| 68 | { |
| 69 | native_set_pte(ptep, pte); |
| 70 | } |
| 71 | |
Andrea Arcangeli | db3eb96f | 2011-01-13 15:46:41 -0800 | [diff] [blame] | 72 | static inline void native_set_pmd(pmd_t *pmdp, pmd_t pmd) |
| 73 | { |
| 74 | *pmdp = pmd; |
| 75 | } |
| 76 | |
| 77 | static inline void native_pmd_clear(pmd_t *pmd) |
| 78 | { |
| 79 | native_set_pmd(pmd, native_make_pmd(0)); |
| 80 | } |
| 81 | |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 82 | static inline pte_t native_ptep_get_and_clear(pte_t *xp) |
| 83 | { |
| 84 | #ifdef CONFIG_SMP |
| 85 | return native_make_pte(xchg(&xp->pte, 0)); |
| 86 | #else |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 87 | /* native_local_ptep_get_and_clear, |
| 88 | but duplicated because of cyclic dependency */ |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 89 | pte_t ret = *xp; |
| 90 | native_pte_clear(NULL, 0, xp); |
| 91 | return ret; |
| 92 | #endif |
| 93 | } |
| 94 | |
Andrea Arcangeli | db3eb96f | 2011-01-13 15:46:41 -0800 | [diff] [blame] | 95 | static inline pmd_t native_pmdp_get_and_clear(pmd_t *xp) |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 96 | { |
Andrea Arcangeli | db3eb96f | 2011-01-13 15:46:41 -0800 | [diff] [blame] | 97 | #ifdef CONFIG_SMP |
| 98 | return native_make_pmd(xchg(&xp->pmd, 0)); |
| 99 | #else |
| 100 | /* native_local_pmdp_get_and_clear, |
| 101 | but duplicated because of cyclic dependency */ |
| 102 | pmd_t ret = *xp; |
| 103 | native_pmd_clear(xp); |
| 104 | return ret; |
| 105 | #endif |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | static inline void native_set_pud(pud_t *pudp, pud_t pud) |
| 109 | { |
| 110 | *pudp = pud; |
| 111 | } |
| 112 | |
| 113 | static inline void native_pud_clear(pud_t *pud) |
| 114 | { |
| 115 | native_set_pud(pud, native_make_pud(0)); |
| 116 | } |
| 117 | |
Matthew Wilcox | a00cc7d | 2017-02-24 14:57:02 -0800 | [diff] [blame] | 118 | static inline pud_t native_pudp_get_and_clear(pud_t *xp) |
| 119 | { |
| 120 | #ifdef CONFIG_SMP |
| 121 | return native_make_pud(xchg(&xp->pud, 0)); |
| 122 | #else |
| 123 | /* native_local_pudp_get_and_clear, |
| 124 | * but duplicated because of cyclic dependency |
| 125 | */ |
| 126 | pud_t ret = *xp; |
| 127 | |
| 128 | native_pud_clear(xp); |
| 129 | return ret; |
| 130 | #endif |
| 131 | } |
| 132 | |
Kirill A. Shutemov | f2a6a70 | 2017-03-17 21:55:15 +0300 | [diff] [blame] | 133 | static inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d) |
| 134 | { |
| 135 | *p4dp = p4d; |
| 136 | } |
| 137 | |
| 138 | static inline void native_p4d_clear(p4d_t *p4d) |
| 139 | { |
Kirill A. Shutemov | b850405 | 2017-03-30 11:07:29 +0300 | [diff] [blame] | 140 | #ifdef CONFIG_X86_5LEVEL |
| 141 | native_set_p4d(p4d, native_make_p4d(0)); |
| 142 | #else |
Kirill A. Shutemov | f2a6a70 | 2017-03-17 21:55:15 +0300 | [diff] [blame] | 143 | native_set_p4d(p4d, (p4d_t) { .pgd = native_make_pgd(0)}); |
Kirill A. Shutemov | b850405 | 2017-03-30 11:07:29 +0300 | [diff] [blame] | 144 | #endif |
Kirill A. Shutemov | f2a6a70 | 2017-03-17 21:55:15 +0300 | [diff] [blame] | 145 | } |
| 146 | |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 147 | static inline void native_set_pgd(pgd_t *pgdp, pgd_t pgd) |
| 148 | { |
| 149 | *pgdp = pgd; |
| 150 | } |
| 151 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 152 | static inline void native_pgd_clear(pgd_t *pgd) |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 153 | { |
| 154 | native_set_pgd(pgd, native_make_pgd(0)); |
Zachary Amsden | 61e0603 | 2005-09-03 15:55:06 -0700 | [diff] [blame] | 155 | } |
| 156 | |
Kirill A. Shutemov | 5372e15 | 2016-12-15 02:44:03 +0300 | [diff] [blame] | 157 | extern void sync_global_pgds(unsigned long start, unsigned long end); |
Haicheng Li | 6afb515 | 2010-05-19 17:42:14 +0800 | [diff] [blame] | 158 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 159 | /* |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 160 | * Conversion functions: convert a page and protection to a page entry, |
| 161 | * and a page entry and page directory to the page they refer to. |
| 162 | */ |
| 163 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 164 | /* |
| 165 | * Level 4 access. |
| 166 | */ |
H. Peter Anvin | e00fc542 | 2008-02-19 16:18:32 +0100 | [diff] [blame] | 167 | static inline int pgd_large(pgd_t pgd) { return 0; } |
Eduardo Habkost | e7a9b0b | 2008-06-25 00:19:05 -0400 | [diff] [blame] | 168 | #define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 169 | |
| 170 | /* PUD - Level3 access */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 171 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 172 | /* PMD - Level 2 access */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 173 | |
| 174 | /* PTE - Level 1 access. */ |
| 175 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 176 | /* x86-64 always has all page tables mapped. */ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 177 | #define pte_offset_map(dir, address) pte_offset_kernel((dir), (address)) |
Andi Kleen | 4e60c86 | 2010-08-09 17:19:03 -0700 | [diff] [blame] | 178 | #define pte_unmap(pte) ((void)(pte))/* NOP */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 179 | |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 180 | /* |
| 181 | * Encode and de-code a swap entry |
| 182 | * |
Naoya Horiguchi | eee4818 | 2017-09-08 16:10:46 -0700 | [diff] [blame^] | 183 | * | ... | 11| 10| 9|8|7|6|5| 4| 3|2| 1|0| <- bit number |
| 184 | * | ... |SW3|SW2|SW1|G|L|D|A|CD|WT|U| W|P| <- bit names |
| 185 | * | OFFSET (14->63) | TYPE (9-13) |0|0|X|X| X| X|X|SD|0| <- swp entry |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 186 | * |
| 187 | * G (8) is aliased and used as a PROT_NONE indicator for |
| 188 | * !present ptes. We need to start storing swap entries above |
| 189 | * there. We also need to avoid using A and D because of an |
| 190 | * erratum where they can be incorrectly set by hardware on |
| 191 | * non-present PTEs. |
Naoya Horiguchi | eee4818 | 2017-09-08 16:10:46 -0700 | [diff] [blame^] | 192 | * |
| 193 | * SD (1) in swp entry is used to store soft dirty bit, which helps us |
| 194 | * remember soft dirty over page migration |
| 195 | * |
| 196 | * Bit 7 in swp entry should be 0 because pmd_present checks not only P, |
| 197 | * but also L and G. |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 198 | */ |
| 199 | #define SWP_TYPE_FIRST_BIT (_PAGE_BIT_PROTNONE + 1) |
Kirill A. Shutemov | 0a19136 | 2015-02-10 14:11:22 -0800 | [diff] [blame] | 200 | #define SWP_TYPE_BITS 5 |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 201 | /* Place the offset above the type: */ |
Dave Hansen | ace7fab | 2016-08-10 10:23:25 -0700 | [diff] [blame] | 202 | #define SWP_OFFSET_FIRST_BIT (SWP_TYPE_FIRST_BIT + SWP_TYPE_BITS) |
Jan Beulich | 1796316 | 2008-12-16 11:35:24 +0000 | [diff] [blame] | 203 | |
| 204 | #define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > SWP_TYPE_BITS) |
| 205 | |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 206 | #define __swp_type(x) (((x).val >> (SWP_TYPE_FIRST_BIT)) \ |
Jan Beulich | 1796316 | 2008-12-16 11:35:24 +0000 | [diff] [blame] | 207 | & ((1U << SWP_TYPE_BITS) - 1)) |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 208 | #define __swp_offset(x) ((x).val >> SWP_OFFSET_FIRST_BIT) |
Jan Beulich | 1796316 | 2008-12-16 11:35:24 +0000 | [diff] [blame] | 209 | #define __swp_entry(type, offset) ((swp_entry_t) { \ |
Dave Hansen | 00839ee | 2016-07-07 17:19:11 -0700 | [diff] [blame] | 210 | ((type) << (SWP_TYPE_FIRST_BIT)) \ |
| 211 | | ((offset) << SWP_OFFSET_FIRST_BIT) }) |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 212 | #define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val((pte)) }) |
Jeremy Fitzhardinge | c8e5393 | 2008-01-30 13:32:57 +0100 | [diff] [blame] | 213 | #define __swp_entry_to_pte(x) ((pte_t) { .pte = (x).val }) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 214 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 215 | extern int kern_addr_valid(unsigned long addr); |
Thomas Gleixner | 31eedd8 | 2008-02-15 17:29:12 +0100 | [diff] [blame] | 216 | extern void cleanup_highmap(void); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 217 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 218 | #define HAVE_ARCH_UNMAPPED_AREA |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 219 | #define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 | |
| 221 | #define pgtable_cache_init() do { } while (0) |
Linus Torvalds | da8f153 | 2007-09-21 12:09:41 -0700 | [diff] [blame] | 222 | #define check_pgt_cache() do { } while (0) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 223 | |
| 224 | #define PAGE_AGP PAGE_KERNEL_NOCACHE |
| 225 | #define HAVE_PAGE_AGP 1 |
| 226 | |
| 227 | /* fs/proc/kcore.c */ |
| 228 | #define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK) |
Linus Torvalds | 9063c61 | 2009-06-20 15:40:00 -0700 | [diff] [blame] | 229 | #define kc_offset_to_vaddr(o) ((o) | ~__VIRTUAL_MASK) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 230 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 231 | #define __HAVE_ARCH_PTE_SAME |
Andrea Arcangeli | 5f6e8da | 2011-01-13 15:46:40 -0800 | [diff] [blame] | 232 | |
Alexander Duyck | fb50b02 | 2012-11-16 13:53:09 -0800 | [diff] [blame] | 233 | #define vmemmap ((struct page *)VMEMMAP_START) |
| 234 | |
| 235 | extern void init_extra_mapping_uc(unsigned long phys, unsigned long size); |
| 236 | extern void init_extra_mapping_wb(unsigned long phys, unsigned long size); |
| 237 | |
Kirill A. Shutemov | e585513 | 2017-06-06 14:31:20 +0300 | [diff] [blame] | 238 | #define gup_fast_permitted gup_fast_permitted |
| 239 | static inline bool gup_fast_permitted(unsigned long start, int nr_pages, |
| 240 | int write) |
| 241 | { |
| 242 | unsigned long len, end; |
Ingo Molnar | 6dd29b3 | 2017-04-23 11:37:17 +0200 | [diff] [blame] | 243 | |
Kirill A. Shutemov | e585513 | 2017-06-06 14:31:20 +0300 | [diff] [blame] | 244 | len = (unsigned long)nr_pages << PAGE_SHIFT; |
| 245 | end = start + len; |
| 246 | if (end < start) |
| 247 | return false; |
| 248 | if (end >> __VIRTUAL_MASK_SHIFT) |
| 249 | return false; |
| 250 | return true; |
| 251 | } |
| 252 | |
| 253 | #endif /* !__ASSEMBLY__ */ |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 254 | #endif /* _ASM_X86_PGTABLE_64_H */ |