blob: 877bc27718ae4ef6c50facf86997359a74355960 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
H. Peter Anvin1965aae2008-10-22 22:26:29 -07002#ifndef _ASM_X86_PGTABLE_64_H
3#define _ASM_X86_PGTABLE_64_H
Linus Torvalds1da177e2005-04-16 15:20:36 -07004
Randy Dunlap6df95fd2007-05-08 00:31:11 -07005#include <linux/const.h>
Jeremy Fitzhardingefb355142009-02-08 18:50:52 -08006#include <asm/pgtable_64_types.h>
7
Vivek Goyal9d291e72007-05-02 19:27:06 +02008#ifndef __ASSEMBLY__
9
Linus Torvalds1da177e2005-04-16 15:20:36 -070010/*
11 * This file contains the functions and defines necessary to modify and use
12 * the x86-64 page table tree.
13 */
14#include <asm/processor.h>
Jiri Slaby1977f032007-10-18 23:40:25 -070015#include <linux/bitops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/threads.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017
Kirill A. Shutemov032370b2017-06-06 14:31:28 +030018extern p4d_t level4_kernel_pgt[512];
19extern p4d_t level4_ident_pgt[512];
Linus Torvalds1da177e2005-04-16 15:20:36 -070020extern pud_t level3_kernel_pgt[512];
Linus Torvalds1da177e2005-04-16 15:20:36 -070021extern pud_t level3_ident_pgt[512];
22extern pmd_t level2_kernel_pgt[512];
Jeremy Fitzhardinge084a2a42008-07-08 15:06:50 -070023extern pmd_t level2_fixmap_pgt[512];
24extern pmd_t level2_ident_pgt[512];
Stefan Bader0b5a5062014-09-02 11:16:01 +010025extern pte_t level1_fixmap_pgt[512];
Kirill A. Shutemov65ade2f2017-06-06 14:31:27 +030026extern pgd_t init_top_pgt[];
Linus Torvalds1da177e2005-04-16 15:20:36 -070027
Kirill A. Shutemov65ade2f2017-06-06 14:31:27 +030028#define swapper_pg_dir init_top_pgt
Linus Torvalds1da177e2005-04-16 15:20:36 -070029
Linus Torvalds1da177e2005-04-16 15:20:36 -070030extern void paging_init(void);
Thomas Gleixner945fd172018-02-28 21:14:26 +010031static inline void sync_initial_page_table(void) { }
Linus Torvalds1da177e2005-04-16 15:20:36 -070032
Joe Perches7f944012008-03-23 01:03:11 -070033#define pte_ERROR(e) \
Joe Perchesc767a542012-05-21 19:50:07 -070034 pr_err("%s:%d: bad pte %p(%016lx)\n", \
Joe Perches7f944012008-03-23 01:03:11 -070035 __FILE__, __LINE__, &(e), pte_val(e))
36#define pmd_ERROR(e) \
Joe Perchesc767a542012-05-21 19:50:07 -070037 pr_err("%s:%d: bad pmd %p(%016lx)\n", \
Joe Perches7f944012008-03-23 01:03:11 -070038 __FILE__, __LINE__, &(e), pmd_val(e))
39#define pud_ERROR(e) \
Joe Perchesc767a542012-05-21 19:50:07 -070040 pr_err("%s:%d: bad pud %p(%016lx)\n", \
Joe Perches7f944012008-03-23 01:03:11 -070041 __FILE__, __LINE__, &(e), pud_val(e))
Kirill A. Shutemovb8504052017-03-30 11:07:29 +030042
43#if CONFIG_PGTABLE_LEVELS >= 5
44#define p4d_ERROR(e) \
45 pr_err("%s:%d: bad p4d %p(%016lx)\n", \
46 __FILE__, __LINE__, &(e), p4d_val(e))
47#endif
48
Joe Perches7f944012008-03-23 01:03:11 -070049#define pgd_ERROR(e) \
Joe Perchesc767a542012-05-21 19:50:07 -070050 pr_err("%s:%d: bad pgd %p(%016lx)\n", \
Joe Perches7f944012008-03-23 01:03:11 -070051 __FILE__, __LINE__, &(e), pgd_val(e))
Linus Torvalds1da177e2005-04-16 15:20:36 -070052
Tim Schmielau8c65b4a2005-11-07 00:59:43 -080053struct mm_struct;
54
Kirill A. Shutemovf2a6a702017-03-17 21:55:15 +030055void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);
Eduardo Habkost0814e0b2008-06-25 00:19:22 -040056void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte);
57
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +010058static inline void native_pte_clear(struct mm_struct *mm, unsigned long addr,
59 pte_t *ptep)
Zachary Amsden61e06032005-09-03 15:55:06 -070060{
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +010061 *ptep = native_make_pte(0);
62}
63
64static inline void native_set_pte(pte_t *ptep, pte_t pte)
65{
66 *ptep = pte;
67}
68
Ingo Molnarb65e6392008-01-30 13:34:01 +010069static inline void native_set_pte_atomic(pte_t *ptep, pte_t pte)
70{
71 native_set_pte(ptep, pte);
72}
73
Andrea Arcangelidb3eb96f2011-01-13 15:46:41 -080074static inline void native_set_pmd(pmd_t *pmdp, pmd_t pmd)
75{
76 *pmdp = pmd;
77}
78
79static inline void native_pmd_clear(pmd_t *pmd)
80{
81 native_set_pmd(pmd, native_make_pmd(0));
82}
83
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +010084static inline pte_t native_ptep_get_and_clear(pte_t *xp)
85{
86#ifdef CONFIG_SMP
87 return native_make_pte(xchg(&xp->pte, 0));
88#else
Joe Perches7f944012008-03-23 01:03:11 -070089 /* native_local_ptep_get_and_clear,
90 but duplicated because of cyclic dependency */
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +010091 pte_t ret = *xp;
92 native_pte_clear(NULL, 0, xp);
93 return ret;
94#endif
95}
96
Andrea Arcangelidb3eb96f2011-01-13 15:46:41 -080097static inline pmd_t native_pmdp_get_and_clear(pmd_t *xp)
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +010098{
Andrea Arcangelidb3eb96f2011-01-13 15:46:41 -080099#ifdef CONFIG_SMP
100 return native_make_pmd(xchg(&xp->pmd, 0));
101#else
102 /* native_local_pmdp_get_and_clear,
103 but duplicated because of cyclic dependency */
104 pmd_t ret = *xp;
105 native_pmd_clear(xp);
106 return ret;
107#endif
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +0100108}
109
110static inline void native_set_pud(pud_t *pudp, pud_t pud)
111{
112 *pudp = pud;
113}
114
115static inline void native_pud_clear(pud_t *pud)
116{
117 native_set_pud(pud, native_make_pud(0));
118}
119
Matthew Wilcoxa00cc7d2017-02-24 14:57:02 -0800120static inline pud_t native_pudp_get_and_clear(pud_t *xp)
121{
122#ifdef CONFIG_SMP
123 return native_make_pud(xchg(&xp->pud, 0));
124#else
125 /* native_local_pudp_get_and_clear,
126 * but duplicated because of cyclic dependency
127 */
128 pud_t ret = *xp;
129
130 native_pud_clear(xp);
131 return ret;
132#endif
133}
134
Dave Hansen61e9b362017-12-04 15:07:37 +0100135#ifdef CONFIG_PAGE_TABLE_ISOLATION
136/*
137 * All top-level PAGE_TABLE_ISOLATION page tables are order-1 pages
138 * (8k-aligned and 8k in size). The kernel one is at the beginning 4k and
139 * the user one is in the last 4k. To switch between them, you
140 * just need to flip the 12th bit in their addresses.
141 */
142#define PTI_PGTABLE_SWITCH_BIT PAGE_SHIFT
143
144/*
145 * This generates better code than the inline assembly in
146 * __set_bit().
147 */
148static inline void *ptr_set_bit(void *ptr, int bit)
149{
150 unsigned long __ptr = (unsigned long)ptr;
151
152 __ptr |= BIT(bit);
153 return (void *)__ptr;
154}
155static inline void *ptr_clear_bit(void *ptr, int bit)
156{
157 unsigned long __ptr = (unsigned long)ptr;
158
159 __ptr &= ~BIT(bit);
160 return (void *)__ptr;
161}
162
163static inline pgd_t *kernel_to_user_pgdp(pgd_t *pgdp)
164{
165 return ptr_set_bit(pgdp, PTI_PGTABLE_SWITCH_BIT);
166}
167
168static inline pgd_t *user_to_kernel_pgdp(pgd_t *pgdp)
169{
170 return ptr_clear_bit(pgdp, PTI_PGTABLE_SWITCH_BIT);
171}
172
173static inline p4d_t *kernel_to_user_p4dp(p4d_t *p4dp)
174{
175 return ptr_set_bit(p4dp, PTI_PGTABLE_SWITCH_BIT);
176}
177
178static inline p4d_t *user_to_kernel_p4dp(p4d_t *p4dp)
179{
180 return ptr_clear_bit(p4dp, PTI_PGTABLE_SWITCH_BIT);
181}
182#endif /* CONFIG_PAGE_TABLE_ISOLATION */
183
184/*
185 * Page table pages are page-aligned. The lower half of the top
186 * level is used for userspace and the top half for the kernel.
187 *
188 * Returns true for parts of the PGD that map userspace and
189 * false for the parts that map the kernel.
190 */
191static inline bool pgdp_maps_userspace(void *__ptr)
192{
193 unsigned long ptr = (unsigned long)__ptr;
194
195 return (ptr & ~PAGE_MASK) < (PAGE_SIZE / 2);
196}
197
198#ifdef CONFIG_PAGE_TABLE_ISOLATION
199pgd_t __pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd);
200
201/*
202 * Take a PGD location (pgdp) and a pgd value that needs to be set there.
203 * Populates the user and returns the resulting PGD that must be set in
204 * the kernel copy of the page tables.
205 */
206static inline pgd_t pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd)
207{
208 if (!static_cpu_has(X86_FEATURE_PTI))
209 return pgd;
210 return __pti_set_user_pgd(pgdp, pgd);
211}
212#else
213static inline pgd_t pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd)
214{
215 return pgd;
216}
217#endif
218
Kirill A. Shutemovf2a6a702017-03-17 21:55:15 +0300219static inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d)
220{
Kirill A. Shutemov91f606a2018-02-14 21:25:41 +0300221 pgd_t pgd;
222
223 if (pgtable_l5_enabled || !IS_ENABLED(CONFIG_PAGE_TABLE_ISOLATION)) {
224 *p4dp = p4d;
225 return;
226 }
227
Kirill A. Shutemova5b162b2018-03-05 11:16:41 +0300228 pgd = native_make_pgd(native_p4d_val(p4d));
Kirill A. Shutemov91f606a2018-02-14 21:25:41 +0300229 pgd = pti_set_user_pgd((pgd_t *)p4dp, pgd);
Kirill A. Shutemova5b162b2018-03-05 11:16:41 +0300230 *p4dp = native_make_p4d(native_pgd_val(pgd));
Kirill A. Shutemovf2a6a702017-03-17 21:55:15 +0300231}
232
233static inline void native_p4d_clear(p4d_t *p4d)
234{
Kirill A. Shutemovb8504052017-03-30 11:07:29 +0300235 native_set_p4d(p4d, native_make_p4d(0));
Kirill A. Shutemovf2a6a702017-03-17 21:55:15 +0300236}
237
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +0100238static inline void native_set_pgd(pgd_t *pgdp, pgd_t pgd)
239{
Dave Hansen61e9b362017-12-04 15:07:37 +0100240 *pgdp = pti_set_user_pgd(pgdp, pgd);
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +0100241}
242
Joe Perches7f944012008-03-23 01:03:11 -0700243static inline void native_pgd_clear(pgd_t *pgd)
Jeremy Fitzhardinge48916452008-01-30 13:32:58 +0100244{
245 native_set_pgd(pgd, native_make_pgd(0));
Zachary Amsden61e06032005-09-03 15:55:06 -0700246}
247
Kirill A. Shutemov5372e152016-12-15 02:44:03 +0300248extern void sync_global_pgds(unsigned long start, unsigned long end);
Haicheng Li6afb5152010-05-19 17:42:14 +0800249
Linus Torvalds1da177e2005-04-16 15:20:36 -0700250/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251 * Conversion functions: convert a page and protection to a page entry,
252 * and a page entry and page directory to the page they refer to.
253 */
254
Linus Torvalds1da177e2005-04-16 15:20:36 -0700255/*
256 * Level 4 access.
257 */
H. Peter Anvine00fc5422008-02-19 16:18:32 +0100258static inline int pgd_large(pgd_t pgd) { return 0; }
Eduardo Habkoste7a9b0b2008-06-25 00:19:05 -0400259#define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260
261/* PUD - Level3 access */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263/* PMD - Level 2 access */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700264
265/* PTE - Level 1 access. */
266
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267/* x86-64 always has all page tables mapped. */
Joe Perches7f944012008-03-23 01:03:11 -0700268#define pte_offset_map(dir, address) pte_offset_kernel((dir), (address))
Andi Kleen4e60c862010-08-09 17:19:03 -0700269#define pte_unmap(pte) ((void)(pte))/* NOP */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700270
Dave Hansen00839ee2016-07-07 17:19:11 -0700271/*
272 * Encode and de-code a swap entry
273 *
Naoya Horiguchieee48182017-09-08 16:10:46 -0700274 * | ... | 11| 10| 9|8|7|6|5| 4| 3|2| 1|0| <- bit number
275 * | ... |SW3|SW2|SW1|G|L|D|A|CD|WT|U| W|P| <- bit names
276 * | OFFSET (14->63) | TYPE (9-13) |0|0|X|X| X| X|X|SD|0| <- swp entry
Dave Hansen00839ee2016-07-07 17:19:11 -0700277 *
278 * G (8) is aliased and used as a PROT_NONE indicator for
279 * !present ptes. We need to start storing swap entries above
280 * there. We also need to avoid using A and D because of an
281 * erratum where they can be incorrectly set by hardware on
282 * non-present PTEs.
Naoya Horiguchieee48182017-09-08 16:10:46 -0700283 *
284 * SD (1) in swp entry is used to store soft dirty bit, which helps us
285 * remember soft dirty over page migration
286 *
287 * Bit 7 in swp entry should be 0 because pmd_present checks not only P,
288 * but also L and G.
Dave Hansen00839ee2016-07-07 17:19:11 -0700289 */
290#define SWP_TYPE_FIRST_BIT (_PAGE_BIT_PROTNONE + 1)
Kirill A. Shutemov0a191362015-02-10 14:11:22 -0800291#define SWP_TYPE_BITS 5
Dave Hansen00839ee2016-07-07 17:19:11 -0700292/* Place the offset above the type: */
Dave Hansenace7fab2016-08-10 10:23:25 -0700293#define SWP_OFFSET_FIRST_BIT (SWP_TYPE_FIRST_BIT + SWP_TYPE_BITS)
Jan Beulich17963162008-12-16 11:35:24 +0000294
295#define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > SWP_TYPE_BITS)
296
Dave Hansen00839ee2016-07-07 17:19:11 -0700297#define __swp_type(x) (((x).val >> (SWP_TYPE_FIRST_BIT)) \
Jan Beulich17963162008-12-16 11:35:24 +0000298 & ((1U << SWP_TYPE_BITS) - 1))
Dave Hansen00839ee2016-07-07 17:19:11 -0700299#define __swp_offset(x) ((x).val >> SWP_OFFSET_FIRST_BIT)
Jan Beulich17963162008-12-16 11:35:24 +0000300#define __swp_entry(type, offset) ((swp_entry_t) { \
Dave Hansen00839ee2016-07-07 17:19:11 -0700301 ((type) << (SWP_TYPE_FIRST_BIT)) \
302 | ((offset) << SWP_OFFSET_FIRST_BIT) })
Joe Perches7f944012008-03-23 01:03:11 -0700303#define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val((pte)) })
Zi Yan616b8372017-09-08 16:10:57 -0700304#define __pmd_to_swp_entry(pmd) ((swp_entry_t) { pmd_val((pmd)) })
Jeremy Fitzhardingec8e53932008-01-30 13:32:57 +0100305#define __swp_entry_to_pte(x) ((pte_t) { .pte = (x).val })
Zi Yan616b8372017-09-08 16:10:57 -0700306#define __swp_entry_to_pmd(x) ((pmd_t) { .pmd = (x).val })
Linus Torvalds1da177e2005-04-16 15:20:36 -0700307
Joe Perches7f944012008-03-23 01:03:11 -0700308extern int kern_addr_valid(unsigned long addr);
Thomas Gleixner31eedd82008-02-15 17:29:12 +0100309extern void cleanup_highmap(void);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311#define HAVE_ARCH_UNMAPPED_AREA
Jiri Kosinacc503c12008-01-30 13:31:07 +0100312#define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313
314#define pgtable_cache_init() do { } while (0)
Linus Torvaldsda8f1532007-09-21 12:09:41 -0700315#define check_pgt_cache() do { } while (0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700316
317#define PAGE_AGP PAGE_KERNEL_NOCACHE
318#define HAVE_PAGE_AGP 1
319
320/* fs/proc/kcore.c */
321#define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK)
Linus Torvalds9063c612009-06-20 15:40:00 -0700322#define kc_offset_to_vaddr(o) ((o) | ~__VIRTUAL_MASK)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323
Linus Torvalds1da177e2005-04-16 15:20:36 -0700324#define __HAVE_ARCH_PTE_SAME
Andrea Arcangeli5f6e8da2011-01-13 15:46:40 -0800325
Alexander Duyckfb50b022012-11-16 13:53:09 -0800326#define vmemmap ((struct page *)VMEMMAP_START)
327
328extern void init_extra_mapping_uc(unsigned long phys, unsigned long size);
329extern void init_extra_mapping_wb(unsigned long phys, unsigned long size);
330
Kirill A. Shutemove5855132017-06-06 14:31:20 +0300331#define gup_fast_permitted gup_fast_permitted
332static inline bool gup_fast_permitted(unsigned long start, int nr_pages,
333 int write)
334{
335 unsigned long len, end;
Ingo Molnar6dd29b32017-04-23 11:37:17 +0200336
Kirill A. Shutemove5855132017-06-06 14:31:20 +0300337 len = (unsigned long)nr_pages << PAGE_SHIFT;
338 end = start + len;
339 if (end < start)
340 return false;
341 if (end >> __VIRTUAL_MASK_SHIFT)
342 return false;
343 return true;
344}
345
346#endif /* !__ASSEMBLY__ */
H. Peter Anvin1965aae2008-10-22 22:26:29 -0700347#endif /* _ASM_X86_PGTABLE_64_H */