blob: f56902c1f04b94e1543710dee75d2d7dee19b7c9 [file] [log] [blame]
Arjan van de Ven926e5392008-04-17 17:40:45 +02001/*
2 * Debug helper to dump the current kernel pagetables of the system
3 * so that we can see what the various memory ranges are set to.
4 *
5 * (C) Copyright 2008 Intel Corporation
6 *
7 * Author: Arjan van de Ven <arjan@linux.intel.com>
8 *
9 * This program is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU General Public License
11 * as published by the Free Software Foundation; version 2
12 * of the License.
13 */
14
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020015#include <linux/debugfs.h>
Andrey Ryabinin04b67022017-07-24 18:25:58 +030016#include <linux/kasan.h>
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020017#include <linux/mm.h>
Paul Gortmaker84e629b2016-07-13 20:18:54 -040018#include <linux/init.h>
Andrey Ryabinin146fbb762017-02-10 12:54:05 +030019#include <linux/sched.h>
Arjan van de Ven926e5392008-04-17 17:40:45 +020020#include <linux/seq_file.h>
Arjan van de Ven926e5392008-04-17 17:40:45 +020021
22#include <asm/pgtable.h>
23
24/*
25 * The dumper groups pagetable entries of the same type into one, and for
26 * that it needs to keep some state when walking, and flush this state
27 * when a "break" in the continuity is found.
28 */
29struct pg_state {
30 int level;
31 pgprot_t current_prot;
32 unsigned long start_address;
33 unsigned long current_address;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020034 const struct addr_marker *marker;
H. Peter Anvin3891a042014-04-29 16:46:09 -070035 unsigned long lines;
Borislav Petkovef6bea62014-01-18 12:48:14 +010036 bool to_dmesg;
Stephen Smalleye1a58322015-10-05 12:55:20 -040037 bool check_wx;
38 unsigned long wx_pages;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020039};
40
41struct addr_marker {
42 unsigned long start_address;
43 const char *name;
H. Peter Anvin3891a042014-04-29 16:46:09 -070044 unsigned long max_lines;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020045};
46
Thomas Gleixner146122e2017-12-20 18:07:42 +010047/* Address space markers hints */
48
49#ifdef CONFIG_X86_64
50
Andres Salomon92851e22010-07-20 15:19:46 -070051enum address_markers_idx {
52 USER_SPACE_NR = 0,
Andres Salomon92851e22010-07-20 15:19:46 -070053 KERNEL_SPACE_NR,
54 LOW_KERNEL_NR,
Andy Lutomirskif55f0502017-12-12 07:56:45 -080055#if defined(CONFIG_MODIFY_LDT_SYSCALL) && defined(CONFIG_X86_5LEVEL)
56 LDT_NR,
57#endif
Andres Salomon92851e22010-07-20 15:19:46 -070058 VMALLOC_START_NR,
59 VMEMMAP_START_NR,
Andrey Ryabinin025205f2017-02-14 13:08:39 +030060#ifdef CONFIG_KASAN
61 KASAN_SHADOW_START_NR,
62 KASAN_SHADOW_END_NR,
63#endif
Andy Lutomirskif55f0502017-12-12 07:56:45 -080064#if defined(CONFIG_MODIFY_LDT_SYSCALL) && !defined(CONFIG_X86_5LEVEL)
65 LDT_NR,
66#endif
Thomas Gleixner92a0f812017-12-20 18:51:31 +010067 CPU_ENTRY_AREA_NR,
Thomas Gleixner146122e2017-12-20 18:07:42 +010068#ifdef CONFIG_X86_ESPFIX64
H. Peter Anvin3891a042014-04-29 16:46:09 -070069 ESPFIX_START_NR,
Thomas Gleixner146122e2017-12-20 18:07:42 +010070#endif
71#ifdef CONFIG_EFI
72 EFI_END_NR,
73#endif
Andres Salomon92851e22010-07-20 15:19:46 -070074 HIGH_KERNEL_NR,
75 MODULES_VADDR_NR,
76 MODULES_END_NR,
Thomas Gleixner146122e2017-12-20 18:07:42 +010077 FIXADDR_START_NR,
78 END_OF_SPACE_NR,
79};
80
81static struct addr_marker address_markers[] = {
82 [USER_SPACE_NR] = { 0, "User Space" },
83 [KERNEL_SPACE_NR] = { (1UL << 63), "Kernel Space" },
84 [LOW_KERNEL_NR] = { 0UL, "Low Kernel Mapping" },
85 [VMALLOC_START_NR] = { 0UL, "vmalloc() Area" },
86 [VMEMMAP_START_NR] = { 0UL, "Vmemmap" },
87#ifdef CONFIG_KASAN
88 [KASAN_SHADOW_START_NR] = { KASAN_SHADOW_START, "KASAN shadow" },
89 [KASAN_SHADOW_END_NR] = { KASAN_SHADOW_END, "KASAN shadow end" },
90#endif
Andy Lutomirskif55f0502017-12-12 07:56:45 -080091#ifdef CONFIG_MODIFY_LDT_SYSCALL
92 [LDT_NR] = { LDT_BASE_ADDR, "LDT remap" },
93#endif
Thomas Gleixner92a0f812017-12-20 18:51:31 +010094 [CPU_ENTRY_AREA_NR] = { CPU_ENTRY_AREA_BASE,"CPU entry Area" },
Thomas Gleixner146122e2017-12-20 18:07:42 +010095#ifdef CONFIG_X86_ESPFIX64
96 [ESPFIX_START_NR] = { ESPFIX_BASE_ADDR, "ESPfix Area", 16 },
97#endif
98#ifdef CONFIG_EFI
99 [EFI_END_NR] = { EFI_VA_END, "EFI Runtime Services" },
100#endif
101 [HIGH_KERNEL_NR] = { __START_KERNEL_map, "High Kernel Mapping" },
102 [MODULES_VADDR_NR] = { MODULES_VADDR, "Modules" },
103 [MODULES_END_NR] = { MODULES_END, "End Modules" },
104 [FIXADDR_START_NR] = { FIXADDR_START, "Fixmap Area" },
105 [END_OF_SPACE_NR] = { -1, NULL }
106};
107
108#else /* CONFIG_X86_64 */
109
110enum address_markers_idx {
111 USER_SPACE_NR = 0,
Andres Salomon92851e22010-07-20 15:19:46 -0700112 KERNEL_SPACE_NR,
113 VMALLOC_START_NR,
114 VMALLOC_END_NR,
Thomas Gleixner146122e2017-12-20 18:07:42 +0100115#ifdef CONFIG_HIGHMEM
Andres Salomon92851e22010-07-20 15:19:46 -0700116 PKMAP_BASE_NR,
Andres Salomon92851e22010-07-20 15:19:46 -0700117#endif
Thomas Gleixner92a0f812017-12-20 18:51:31 +0100118 CPU_ENTRY_AREA_NR,
Thomas Gleixner146122e2017-12-20 18:07:42 +0100119 FIXADDR_START_NR,
120 END_OF_SPACE_NR,
Andres Salomon92851e22010-07-20 15:19:46 -0700121};
122
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200123static struct addr_marker address_markers[] = {
Thomas Gleixner146122e2017-12-20 18:07:42 +0100124 [USER_SPACE_NR] = { 0, "User Space" },
125 [KERNEL_SPACE_NR] = { PAGE_OFFSET, "Kernel Mapping" },
126 [VMALLOC_START_NR] = { 0UL, "vmalloc() Area" },
127 [VMALLOC_END_NR] = { 0UL, "vmalloc() End" },
128#ifdef CONFIG_HIGHMEM
129 [PKMAP_BASE_NR] = { 0UL, "Persistent kmap() Area" },
Andrey Ryabinin025205f2017-02-14 13:08:39 +0300130#endif
Thomas Gleixner92a0f812017-12-20 18:51:31 +0100131 [CPU_ENTRY_AREA_NR] = { 0UL, "CPU entry area" },
Thomas Gleixner146122e2017-12-20 18:07:42 +0100132 [FIXADDR_START_NR] = { 0UL, "Fixmap area" },
133 [END_OF_SPACE_NR] = { -1, NULL }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200134};
135
Thomas Gleixner146122e2017-12-20 18:07:42 +0100136#endif /* !CONFIG_X86_64 */
137
Arjan van de Ven926e5392008-04-17 17:40:45 +0200138/* Multipliers for offsets within the PTEs */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200139#define PTE_LEVEL_MULT (PAGE_SIZE)
140#define PMD_LEVEL_MULT (PTRS_PER_PTE * PTE_LEVEL_MULT)
141#define PUD_LEVEL_MULT (PTRS_PER_PMD * PMD_LEVEL_MULT)
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300142#define P4D_LEVEL_MULT (PTRS_PER_PUD * PUD_LEVEL_MULT)
Juergen Gross84bbabc2017-04-12 16:36:34 +0200143#define PGD_LEVEL_MULT (PTRS_PER_P4D * P4D_LEVEL_MULT)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200144
Borislav Petkovef6bea62014-01-18 12:48:14 +0100145#define pt_dump_seq_printf(m, to_dmesg, fmt, args...) \
146({ \
147 if (to_dmesg) \
148 printk(KERN_INFO fmt, ##args); \
149 else \
150 if (m) \
151 seq_printf(m, fmt, ##args); \
152})
153
154#define pt_dump_cont_printf(m, to_dmesg, fmt, args...) \
155({ \
156 if (to_dmesg) \
157 printk(KERN_CONT fmt, ##args); \
158 else \
159 if (m) \
160 seq_printf(m, fmt, ##args); \
161})
162
Arjan van de Ven926e5392008-04-17 17:40:45 +0200163/*
164 * Print a readable form of a pgprot_t to the seq_file
165 */
Borislav Petkovef6bea62014-01-18 12:48:14 +0100166static void printk_prot(struct seq_file *m, pgprot_t prot, int level, bool dmsg)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200167{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200168 pgprotval_t pr = pgprot_val(prot);
169 static const char * const level_name[] =
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300170 { "cr3", "pgd", "p4d", "pud", "pmd", "pte" };
Arjan van de Ven926e5392008-04-17 17:40:45 +0200171
Thomas Gleixnerc0534492017-12-16 01:14:39 +0100172 if (!(pr & _PAGE_PRESENT)) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200173 /* Not present */
Juergen Grossf439c429c32014-11-03 14:02:01 +0100174 pt_dump_cont_printf(m, dmsg, " ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200175 } else {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200176 if (pr & _PAGE_USER)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100177 pt_dump_cont_printf(m, dmsg, "USR ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200178 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100179 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200180 if (pr & _PAGE_RW)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100181 pt_dump_cont_printf(m, dmsg, "RW ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200182 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100183 pt_dump_cont_printf(m, dmsg, "ro ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200184 if (pr & _PAGE_PWT)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100185 pt_dump_cont_printf(m, dmsg, "PWT ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200186 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100187 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200188 if (pr & _PAGE_PCD)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100189 pt_dump_cont_printf(m, dmsg, "PCD ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200190 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100191 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200192
Juergen Grossf439c429c32014-11-03 14:02:01 +0100193 /* Bit 7 has a different meaning on level 3 vs 4 */
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300194 if (level <= 4 && pr & _PAGE_PSE)
Juergen Grossf439c429c32014-11-03 14:02:01 +0100195 pt_dump_cont_printf(m, dmsg, "PSE ");
196 else
197 pt_dump_cont_printf(m, dmsg, " ");
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300198 if ((level == 5 && pr & _PAGE_PAT) ||
199 ((level == 4 || level == 3) && pr & _PAGE_PAT_LARGE))
Toshi Kanida25e622015-09-17 12:24:19 -0600200 pt_dump_cont_printf(m, dmsg, "PAT ");
Juergen Grossf439c429c32014-11-03 14:02:01 +0100201 else
202 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200203 if (pr & _PAGE_GLOBAL)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100204 pt_dump_cont_printf(m, dmsg, "GLB ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200205 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100206 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200207 if (pr & _PAGE_NX)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100208 pt_dump_cont_printf(m, dmsg, "NX ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200209 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100210 pt_dump_cont_printf(m, dmsg, "x ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200211 }
Borislav Petkovef6bea62014-01-18 12:48:14 +0100212 pt_dump_cont_printf(m, dmsg, "%s\n", level_name[level]);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200213}
214
215/*
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200216 * On 64 bits, sign-extend the 48 bit address to 64 bit
Arjan van de Ven926e5392008-04-17 17:40:45 +0200217 */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200218static unsigned long normalize_addr(unsigned long u)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200219{
Kirill A. Shutemov3a366f72017-07-17 01:59:47 +0300220 int shift;
221 if (!IS_ENABLED(CONFIG_X86_64))
222 return u;
223
224 shift = 64 - (__VIRTUAL_MASK_SHIFT + 1);
225 return (signed long)(u << shift) >> shift;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200226}
227
228/*
229 * This function gets called on a break in a continuous series
230 * of PTE entries; the next one is different so we need to
231 * print what we collected so far.
232 */
233static void note_page(struct seq_file *m, struct pg_state *st,
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200234 pgprot_t new_prot, int level)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200235{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200236 pgprotval_t prot, cur;
H. Peter Anvin3891a042014-04-29 16:46:09 -0700237 static const char units[] = "BKMGTPE";
Arjan van de Ven926e5392008-04-17 17:40:45 +0200238
239 /*
240 * If we have a "break" in the series, we need to flush the state that
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200241 * we have now. "break" is either changing perms, levels or
242 * address space marker.
Arjan van de Ven926e5392008-04-17 17:40:45 +0200243 */
Toshi Kanida25e622015-09-17 12:24:19 -0600244 prot = pgprot_val(new_prot);
245 cur = pgprot_val(st->current_prot);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200246
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200247 if (!st->level) {
248 /* First entry */
249 st->current_prot = new_prot;
250 st->level = level;
251 st->marker = address_markers;
H. Peter Anvin3891a042014-04-29 16:46:09 -0700252 st->lines = 0;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100253 pt_dump_seq_printf(m, st->to_dmesg, "---[ %s ]---\n",
254 st->marker->name);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200255 } else if (prot != cur || level != st->level ||
256 st->current_address >= st->marker[1].start_address) {
257 const char *unit = units;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200258 unsigned long delta;
Yinghai Lu6424fb32009-04-13 23:51:46 -0700259 int width = sizeof(unsigned long) * 2;
Stephen Smalleye1a58322015-10-05 12:55:20 -0400260 pgprotval_t pr = pgprot_val(st->current_prot);
261
262 if (st->check_wx && (pr & _PAGE_RW) && !(pr & _PAGE_NX)) {
263 WARN_ONCE(1,
264 "x86/mm: Found insecure W+X mapping at address %p/%pS\n",
265 (void *)st->start_address,
266 (void *)st->start_address);
267 st->wx_pages += (st->current_address -
268 st->start_address) / PAGE_SIZE;
269 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200270
271 /*
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200272 * Now print the actual finished series
273 */
H. Peter Anvin3891a042014-04-29 16:46:09 -0700274 if (!st->marker->max_lines ||
275 st->lines < st->marker->max_lines) {
276 pt_dump_seq_printf(m, st->to_dmesg,
277 "0x%0*lx-0x%0*lx ",
278 width, st->start_address,
279 width, st->current_address);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200280
H. Peter Anvin3891a042014-04-29 16:46:09 -0700281 delta = st->current_address - st->start_address;
282 while (!(delta & 1023) && unit[1]) {
283 delta >>= 10;
284 unit++;
285 }
286 pt_dump_cont_printf(m, st->to_dmesg, "%9lu%c ",
287 delta, *unit);
288 printk_prot(m, st->current_prot, st->level,
289 st->to_dmesg);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200290 }
H. Peter Anvin3891a042014-04-29 16:46:09 -0700291 st->lines++;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200292
293 /*
Arjan van de Ven926e5392008-04-17 17:40:45 +0200294 * We print markers for special areas of address space,
295 * such as the start of vmalloc space etc.
296 * This helps in the interpretation.
297 */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200298 if (st->current_address >= st->marker[1].start_address) {
H. Peter Anvin3891a042014-04-29 16:46:09 -0700299 if (st->marker->max_lines &&
300 st->lines > st->marker->max_lines) {
301 unsigned long nskip =
302 st->lines - st->marker->max_lines;
303 pt_dump_seq_printf(m, st->to_dmesg,
304 "... %lu entr%s skipped ... \n",
305 nskip,
306 nskip == 1 ? "y" : "ies");
307 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200308 st->marker++;
H. Peter Anvin3891a042014-04-29 16:46:09 -0700309 st->lines = 0;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100310 pt_dump_seq_printf(m, st->to_dmesg, "---[ %s ]---\n",
311 st->marker->name);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200312 }
313
Arjan van de Ven926e5392008-04-17 17:40:45 +0200314 st->start_address = st->current_address;
315 st->current_prot = new_prot;
316 st->level = level;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200317 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200318}
319
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300320static void walk_pte_level(struct seq_file *m, struct pg_state *st, pmd_t addr, unsigned long P)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200321{
322 int i;
323 pte_t *start;
Toshi Kanida25e622015-09-17 12:24:19 -0600324 pgprotval_t prot;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200325
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300326 start = (pte_t *)pmd_page_vaddr(addr);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200327 for (i = 0; i < PTRS_PER_PTE; i++) {
Toshi Kanida25e622015-09-17 12:24:19 -0600328 prot = pte_flags(*start);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200329 st->current_address = normalize_addr(P + i * PTE_LEVEL_MULT);
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300330 note_page(m, st, __pgprot(prot), 5);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200331 start++;
332 }
333}
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300334#ifdef CONFIG_KASAN
335
336/*
337 * This is an optimization for KASAN=y case. Since all kasan page tables
338 * eventually point to the kasan_zero_page we could call note_page()
339 * right away without walking through lower level page tables. This saves
340 * us dozens of seconds (minutes for 5-level config) while checking for
341 * W+X mapping or reading kernel_page_tables debugfs file.
342 */
343static inline bool kasan_page_table(struct seq_file *m, struct pg_state *st,
344 void *pt)
345{
346 if (__pa(pt) == __pa(kasan_zero_pmd) ||
347#ifdef CONFIG_X86_5LEVEL
348 __pa(pt) == __pa(kasan_zero_p4d) ||
349#endif
350 __pa(pt) == __pa(kasan_zero_pud)) {
351 pgprotval_t prot = pte_flags(kasan_zero_pte[0]);
352 note_page(m, st, __pgprot(prot), 5);
353 return true;
354 }
355 return false;
356}
357#else
358static inline bool kasan_page_table(struct seq_file *m, struct pg_state *st,
359 void *pt)
360{
361 return false;
362}
363#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200364
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200365#if PTRS_PER_PMD > 1
Arjan van de Ven926e5392008-04-17 17:40:45 +0200366
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300367static void walk_pmd_level(struct seq_file *m, struct pg_state *st, pud_t addr, unsigned long P)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200368{
369 int i;
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300370 pmd_t *start, *pmd_start;
Toshi Kanida25e622015-09-17 12:24:19 -0600371 pgprotval_t prot;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200372
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300373 pmd_start = start = (pmd_t *)pud_page_vaddr(addr);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200374 for (i = 0; i < PTRS_PER_PMD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200375 st->current_address = normalize_addr(P + i * PMD_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200376 if (!pmd_none(*start)) {
Toshi Kanida25e622015-09-17 12:24:19 -0600377 if (pmd_large(*start) || !pmd_present(*start)) {
378 prot = pmd_flags(*start);
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300379 note_page(m, st, __pgprot(prot), 4);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300380 } else if (!kasan_page_table(m, st, pmd_start)) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200381 walk_pte_level(m, st, *start,
382 P + i * PMD_LEVEL_MULT);
Toshi Kanida25e622015-09-17 12:24:19 -0600383 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200384 } else
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300385 note_page(m, st, __pgprot(0), 4);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200386 start++;
387 }
388}
389
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200390#else
391#define walk_pmd_level(m,s,a,p) walk_pte_level(m,s,__pmd(pud_val(a)),p)
392#define pud_large(a) pmd_large(__pmd(pud_val(a)))
393#define pud_none(a) pmd_none(__pmd(pud_val(a)))
394#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200395
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200396#if PTRS_PER_PUD > 1
397
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300398static void walk_pud_level(struct seq_file *m, struct pg_state *st, p4d_t addr, unsigned long P)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200399{
400 int i;
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300401 pud_t *start, *pud_start;
Toshi Kanida25e622015-09-17 12:24:19 -0600402 pgprotval_t prot;
Andrey Ryabinin243b72a2017-02-14 13:08:38 +0300403 pud_t *prev_pud = NULL;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200404
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300405 pud_start = start = (pud_t *)p4d_page_vaddr(addr);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200406
407 for (i = 0; i < PTRS_PER_PUD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200408 st->current_address = normalize_addr(P + i * PUD_LEVEL_MULT);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300409 if (!pud_none(*start)) {
Toshi Kanida25e622015-09-17 12:24:19 -0600410 if (pud_large(*start) || !pud_present(*start)) {
411 prot = pud_flags(*start);
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300412 note_page(m, st, __pgprot(prot), 3);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300413 } else if (!kasan_page_table(m, st, pud_start)) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200414 walk_pmd_level(m, st, *start,
415 P + i * PUD_LEVEL_MULT);
Toshi Kanida25e622015-09-17 12:24:19 -0600416 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200417 } else
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300418 note_page(m, st, __pgprot(0), 3);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200419
Andrey Ryabinin243b72a2017-02-14 13:08:38 +0300420 prev_pud = start;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200421 start++;
422 }
423}
424
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200425#else
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300426#define walk_pud_level(m,s,a,p) walk_pmd_level(m,s,__pud(p4d_val(a)),p)
427#define p4d_large(a) pud_large(__pud(p4d_val(a)))
428#define p4d_none(a) pud_none(__pud(p4d_val(a)))
429#endif
430
431#if PTRS_PER_P4D > 1
432
433static void walk_p4d_level(struct seq_file *m, struct pg_state *st, pgd_t addr, unsigned long P)
434{
435 int i;
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300436 p4d_t *start, *p4d_start;
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300437 pgprotval_t prot;
438
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300439 p4d_start = start = (p4d_t *)pgd_page_vaddr(addr);
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300440
441 for (i = 0; i < PTRS_PER_P4D; i++) {
442 st->current_address = normalize_addr(P + i * P4D_LEVEL_MULT);
443 if (!p4d_none(*start)) {
444 if (p4d_large(*start) || !p4d_present(*start)) {
445 prot = p4d_flags(*start);
446 note_page(m, st, __pgprot(prot), 2);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300447 } else if (!kasan_page_table(m, st, p4d_start)) {
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300448 walk_pud_level(m, st, *start,
449 P + i * P4D_LEVEL_MULT);
450 }
451 } else
452 note_page(m, st, __pgprot(0), 2);
453
454 start++;
455 }
456}
457
458#else
459#define walk_p4d_level(m,s,a,p) walk_pud_level(m,s,__p4d(pgd_val(a)),p)
460#define pgd_large(a) p4d_large(__p4d(pgd_val(a)))
461#define pgd_none(a) p4d_none(__p4d(pgd_val(a)))
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200462#endif
463
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500464static inline bool is_hypervisor_range(int idx)
465{
Borislav Petkovb1768622016-02-18 21:00:41 +0100466#ifdef CONFIG_X86_64
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500467 /*
468 * ffff800000000000 - ffff87ffffffffff is reserved for
469 * the hypervisor.
470 */
Borislav Petkovb1768622016-02-18 21:00:41 +0100471 return (idx >= pgd_index(__PAGE_OFFSET) - 16) &&
472 (idx < pgd_index(__PAGE_OFFSET));
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500473#else
Borislav Petkovb1768622016-02-18 21:00:41 +0100474 return false;
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500475#endif
Borislav Petkovb1768622016-02-18 21:00:41 +0100476}
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500477
Stephen Smalleye1a58322015-10-05 12:55:20 -0400478static void ptdump_walk_pgd_level_core(struct seq_file *m, pgd_t *pgd,
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100479 bool checkwx, bool dmesg)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200480{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200481#ifdef CONFIG_X86_64
Kirill A. Shutemov65ade2f2017-06-06 14:31:27 +0300482 pgd_t *start = (pgd_t *) &init_top_pgt;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200483#else
484 pgd_t *start = swapper_pg_dir;
485#endif
Toshi Kanida25e622015-09-17 12:24:19 -0600486 pgprotval_t prot;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200487 int i;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100488 struct pg_state st = {};
Arjan van de Ven926e5392008-04-17 17:40:45 +0200489
Borislav Petkovef6bea62014-01-18 12:48:14 +0100490 if (pgd) {
491 start = pgd;
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100492 st.to_dmesg = dmesg;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100493 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200494
Stephen Smalleye1a58322015-10-05 12:55:20 -0400495 st.check_wx = checkwx;
496 if (checkwx)
497 st.wx_pages = 0;
498
Arjan van de Ven926e5392008-04-17 17:40:45 +0200499 for (i = 0; i < PTRS_PER_PGD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200500 st.current_address = normalize_addr(i * PGD_LEVEL_MULT);
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500501 if (!pgd_none(*start) && !is_hypervisor_range(i)) {
Toshi Kanida25e622015-09-17 12:24:19 -0600502 if (pgd_large(*start) || !pgd_present(*start)) {
503 prot = pgd_flags(*start);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200504 note_page(m, &st, __pgprot(prot), 1);
Toshi Kanida25e622015-09-17 12:24:19 -0600505 } else {
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300506 walk_p4d_level(m, &st, *start,
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200507 i * PGD_LEVEL_MULT);
Toshi Kanida25e622015-09-17 12:24:19 -0600508 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200509 } else
Arjan van de Ven926e5392008-04-17 17:40:45 +0200510 note_page(m, &st, __pgprot(0), 1);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200511
Andrey Ryabinin146fbb762017-02-10 12:54:05 +0300512 cond_resched();
Arjan van de Ven926e5392008-04-17 17:40:45 +0200513 start++;
514 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200515
516 /* Flush out the last page */
517 st.current_address = normalize_addr(PTRS_PER_PGD*PGD_LEVEL_MULT);
518 note_page(m, &st, __pgprot(0), 0);
Stephen Smalleye1a58322015-10-05 12:55:20 -0400519 if (!checkwx)
520 return;
521 if (st.wx_pages)
522 pr_info("x86/mm: Checked W+X mappings: FAILED, %lu W+X pages found.\n",
523 st.wx_pages);
524 else
525 pr_info("x86/mm: Checked W+X mappings: passed, no W+X pages found.\n");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200526}
527
Stephen Smalleye1a58322015-10-05 12:55:20 -0400528void ptdump_walk_pgd_level(struct seq_file *m, pgd_t *pgd)
529{
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100530 ptdump_walk_pgd_level_core(m, pgd, false, true);
Stephen Smalleye1a58322015-10-05 12:55:20 -0400531}
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100532
Thomas Gleixnera4b51ef2017-12-04 15:08:06 +0100533void ptdump_walk_pgd_level_debugfs(struct seq_file *m, pgd_t *pgd, bool user)
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100534{
Thomas Gleixnera4b51ef2017-12-04 15:08:06 +0100535#ifdef CONFIG_PAGE_TABLE_ISOLATION
536 if (user && static_cpu_has(X86_FEATURE_PTI))
537 pgd = kernel_to_user_pgdp(pgd);
538#endif
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100539 ptdump_walk_pgd_level_core(m, pgd, false, false);
540}
541EXPORT_SYMBOL_GPL(ptdump_walk_pgd_level_debugfs);
542
543static void ptdump_walk_user_pgd_level_checkwx(void)
544{
545#ifdef CONFIG_PAGE_TABLE_ISOLATION
546 pgd_t *pgd = (pgd_t *) &init_top_pgt;
547
548 if (!static_cpu_has(X86_FEATURE_PTI))
549 return;
550
551 pr_info("x86/mm: Checking user space page tables\n");
552 pgd = kernel_to_user_pgdp(pgd);
553 ptdump_walk_pgd_level_core(NULL, pgd, true, false);
554#endif
555}
Stephen Smalleye1a58322015-10-05 12:55:20 -0400556
557void ptdump_walk_pgd_level_checkwx(void)
558{
Thomas Gleixnerb4bf4f92017-12-04 15:08:05 +0100559 ptdump_walk_pgd_level_core(NULL, NULL, true, false);
560 ptdump_walk_user_pgd_level_checkwx();
Stephen Smalleye1a58322015-10-05 12:55:20 -0400561}
562
Kees Cook8609d1b2015-11-19 17:07:55 -0800563static int __init pt_dump_init(void)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200564{
Thomas Garnier0483e1f2016-06-21 17:47:02 -0700565 /*
566 * Various markers are not compile-time constants, so assign them
567 * here.
568 */
569#ifdef CONFIG_X86_64
570 address_markers[LOW_KERNEL_NR].start_address = PAGE_OFFSET;
571 address_markers[VMALLOC_START_NR].start_address = VMALLOC_START;
572 address_markers[VMEMMAP_START_NR].start_address = VMEMMAP_START;
573#endif
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200574#ifdef CONFIG_X86_32
Andres Salomon92851e22010-07-20 15:19:46 -0700575 address_markers[VMALLOC_START_NR].start_address = VMALLOC_START;
576 address_markers[VMALLOC_END_NR].start_address = VMALLOC_END;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200577# ifdef CONFIG_HIGHMEM
Andres Salomon92851e22010-07-20 15:19:46 -0700578 address_markers[PKMAP_BASE_NR].start_address = PKMAP_BASE;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200579# endif
Andres Salomon92851e22010-07-20 15:19:46 -0700580 address_markers[FIXADDR_START_NR].start_address = FIXADDR_START;
Thomas Gleixner92a0f812017-12-20 18:51:31 +0100581 address_markers[CPU_ENTRY_AREA_NR].start_address = CPU_ENTRY_AREA_BASE;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200582#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200583 return 0;
584}
Arjan van de Ven926e5392008-04-17 17:40:45 +0200585__initcall(pt_dump_init);