blob: 1014cfb21c2c79204694dd87c16b381d7825c6c0 [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
Andres Salomon92851e22010-07-20 15:19:46 -070047/* indices for address_markers; keep sync'd w/ address_markers below */
48enum address_markers_idx {
49 USER_SPACE_NR = 0,
50#ifdef CONFIG_X86_64
51 KERNEL_SPACE_NR,
52 LOW_KERNEL_NR,
53 VMALLOC_START_NR,
54 VMEMMAP_START_NR,
Andrey Ryabinin025205f2017-02-14 13:08:39 +030055#ifdef CONFIG_KASAN
56 KASAN_SHADOW_START_NR,
57 KASAN_SHADOW_END_NR,
58#endif
Mathias Krause8a5a5d12014-09-07 20:30:29 +020059# ifdef CONFIG_X86_ESPFIX64
H. Peter Anvin3891a042014-04-29 16:46:09 -070060 ESPFIX_START_NR,
Mathias Krause8a5a5d12014-09-07 20:30:29 +020061# endif
Andres Salomon92851e22010-07-20 15:19:46 -070062 HIGH_KERNEL_NR,
63 MODULES_VADDR_NR,
64 MODULES_END_NR,
65#else
66 KERNEL_SPACE_NR,
67 VMALLOC_START_NR,
68 VMALLOC_END_NR,
69# ifdef CONFIG_HIGHMEM
70 PKMAP_BASE_NR,
71# endif
72 FIXADDR_START_NR,
73#endif
74};
75
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020076/* Address space markers hints */
77static struct addr_marker address_markers[] = {
78 { 0, "User Space" },
79#ifdef CONFIG_X86_64
80 { 0x8000000000000000UL, "Kernel Space" },
Thomas Garnier0483e1f2016-06-21 17:47:02 -070081 { 0/* PAGE_OFFSET */, "Low Kernel Mapping" },
82 { 0/* VMALLOC_START */, "vmalloc() Area" },
83 { 0/* VMEMMAP_START */, "Vmemmap" },
Andrey Ryabinin025205f2017-02-14 13:08:39 +030084#ifdef CONFIG_KASAN
85 { KASAN_SHADOW_START, "KASAN shadow" },
86 { KASAN_SHADOW_END, "KASAN shadow end" },
87#endif
Mathias Krause8a5a5d12014-09-07 20:30:29 +020088# ifdef CONFIG_X86_ESPFIX64
H. Peter Anvin3891a042014-04-29 16:46:09 -070089 { ESPFIX_BASE_ADDR, "ESPfix Area", 16 },
Mathias Krause8a5a5d12014-09-07 20:30:29 +020090# endif
Mathias Krause8266e312014-09-21 17:26:54 +020091# ifdef CONFIG_EFI
92 { EFI_VA_END, "EFI Runtime Services" },
93# endif
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020094 { __START_KERNEL_map, "High Kernel Mapping" },
Yinghai Lu9a79cf92008-03-07 19:17:55 -080095 { MODULES_VADDR, "Modules" },
96 { MODULES_END, "End Modules" },
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020097#else
98 { PAGE_OFFSET, "Kernel Mapping" },
99 { 0/* VMALLOC_START */, "vmalloc() Area" },
100 { 0/*VMALLOC_END*/, "vmalloc() End" },
101# ifdef CONFIG_HIGHMEM
Linus Torvalds173ae9b2015-12-15 10:15:57 -0800102 { 0/*PKMAP_BASE*/, "Persistent kmap() Area" },
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200103# endif
104 { 0/*FIXADDR_START*/, "Fixmap Area" },
105#endif
106 { -1, NULL } /* End of list */
Arjan van de Ven926e5392008-04-17 17:40:45 +0200107};
108
109/* Multipliers for offsets within the PTEs */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200110#define PTE_LEVEL_MULT (PAGE_SIZE)
111#define PMD_LEVEL_MULT (PTRS_PER_PTE * PTE_LEVEL_MULT)
112#define PUD_LEVEL_MULT (PTRS_PER_PMD * PMD_LEVEL_MULT)
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300113#define P4D_LEVEL_MULT (PTRS_PER_PUD * PUD_LEVEL_MULT)
Juergen Gross84bbabc2017-04-12 16:36:34 +0200114#define PGD_LEVEL_MULT (PTRS_PER_P4D * P4D_LEVEL_MULT)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200115
Borislav Petkovef6bea62014-01-18 12:48:14 +0100116#define pt_dump_seq_printf(m, to_dmesg, fmt, args...) \
117({ \
118 if (to_dmesg) \
119 printk(KERN_INFO fmt, ##args); \
120 else \
121 if (m) \
122 seq_printf(m, fmt, ##args); \
123})
124
125#define pt_dump_cont_printf(m, to_dmesg, fmt, args...) \
126({ \
127 if (to_dmesg) \
128 printk(KERN_CONT fmt, ##args); \
129 else \
130 if (m) \
131 seq_printf(m, fmt, ##args); \
132})
133
Arjan van de Ven926e5392008-04-17 17:40:45 +0200134/*
135 * Print a readable form of a pgprot_t to the seq_file
136 */
Borislav Petkovef6bea62014-01-18 12:48:14 +0100137static void printk_prot(struct seq_file *m, pgprot_t prot, int level, bool dmsg)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200138{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200139 pgprotval_t pr = pgprot_val(prot);
140 static const char * const level_name[] =
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300141 { "cr3", "pgd", "p4d", "pud", "pmd", "pte" };
Arjan van de Ven926e5392008-04-17 17:40:45 +0200142
Thomas Gleixnerc0534492017-12-16 01:14:39 +0100143 if (!(pr & _PAGE_PRESENT)) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200144 /* Not present */
Juergen Grossf439c429c32014-11-03 14:02:01 +0100145 pt_dump_cont_printf(m, dmsg, " ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200146 } else {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200147 if (pr & _PAGE_USER)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100148 pt_dump_cont_printf(m, dmsg, "USR ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200149 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100150 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200151 if (pr & _PAGE_RW)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100152 pt_dump_cont_printf(m, dmsg, "RW ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200153 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100154 pt_dump_cont_printf(m, dmsg, "ro ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200155 if (pr & _PAGE_PWT)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100156 pt_dump_cont_printf(m, dmsg, "PWT ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200157 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100158 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200159 if (pr & _PAGE_PCD)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100160 pt_dump_cont_printf(m, dmsg, "PCD ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200161 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100162 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200163
Juergen Grossf439c429c32014-11-03 14:02:01 +0100164 /* Bit 7 has a different meaning on level 3 vs 4 */
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300165 if (level <= 4 && pr & _PAGE_PSE)
Juergen Grossf439c429c32014-11-03 14:02:01 +0100166 pt_dump_cont_printf(m, dmsg, "PSE ");
167 else
168 pt_dump_cont_printf(m, dmsg, " ");
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300169 if ((level == 5 && pr & _PAGE_PAT) ||
170 ((level == 4 || level == 3) && pr & _PAGE_PAT_LARGE))
Toshi Kanida25e622015-09-17 12:24:19 -0600171 pt_dump_cont_printf(m, dmsg, "PAT ");
Juergen Grossf439c429c32014-11-03 14:02:01 +0100172 else
173 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200174 if (pr & _PAGE_GLOBAL)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100175 pt_dump_cont_printf(m, dmsg, "GLB ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200176 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100177 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200178 if (pr & _PAGE_NX)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100179 pt_dump_cont_printf(m, dmsg, "NX ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200180 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100181 pt_dump_cont_printf(m, dmsg, "x ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200182 }
Borislav Petkovef6bea62014-01-18 12:48:14 +0100183 pt_dump_cont_printf(m, dmsg, "%s\n", level_name[level]);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200184}
185
186/*
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200187 * On 64 bits, sign-extend the 48 bit address to 64 bit
Arjan van de Ven926e5392008-04-17 17:40:45 +0200188 */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200189static unsigned long normalize_addr(unsigned long u)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200190{
Kirill A. Shutemov3a366f72017-07-17 01:59:47 +0300191 int shift;
192 if (!IS_ENABLED(CONFIG_X86_64))
193 return u;
194
195 shift = 64 - (__VIRTUAL_MASK_SHIFT + 1);
196 return (signed long)(u << shift) >> shift;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200197}
198
199/*
200 * This function gets called on a break in a continuous series
201 * of PTE entries; the next one is different so we need to
202 * print what we collected so far.
203 */
204static void note_page(struct seq_file *m, struct pg_state *st,
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200205 pgprot_t new_prot, int level)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200206{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200207 pgprotval_t prot, cur;
H. Peter Anvin3891a042014-04-29 16:46:09 -0700208 static const char units[] = "BKMGTPE";
Arjan van de Ven926e5392008-04-17 17:40:45 +0200209
210 /*
211 * If we have a "break" in the series, we need to flush the state that
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200212 * we have now. "break" is either changing perms, levels or
213 * address space marker.
Arjan van de Ven926e5392008-04-17 17:40:45 +0200214 */
Toshi Kanida25e622015-09-17 12:24:19 -0600215 prot = pgprot_val(new_prot);
216 cur = pgprot_val(st->current_prot);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200217
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200218 if (!st->level) {
219 /* First entry */
220 st->current_prot = new_prot;
221 st->level = level;
222 st->marker = address_markers;
H. Peter Anvin3891a042014-04-29 16:46:09 -0700223 st->lines = 0;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100224 pt_dump_seq_printf(m, st->to_dmesg, "---[ %s ]---\n",
225 st->marker->name);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200226 } else if (prot != cur || level != st->level ||
227 st->current_address >= st->marker[1].start_address) {
228 const char *unit = units;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200229 unsigned long delta;
Yinghai Lu6424fb32009-04-13 23:51:46 -0700230 int width = sizeof(unsigned long) * 2;
Stephen Smalleye1a58322015-10-05 12:55:20 -0400231 pgprotval_t pr = pgprot_val(st->current_prot);
232
233 if (st->check_wx && (pr & _PAGE_RW) && !(pr & _PAGE_NX)) {
234 WARN_ONCE(1,
235 "x86/mm: Found insecure W+X mapping at address %p/%pS\n",
236 (void *)st->start_address,
237 (void *)st->start_address);
238 st->wx_pages += (st->current_address -
239 st->start_address) / PAGE_SIZE;
240 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200241
242 /*
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200243 * Now print the actual finished series
244 */
H. Peter Anvin3891a042014-04-29 16:46:09 -0700245 if (!st->marker->max_lines ||
246 st->lines < st->marker->max_lines) {
247 pt_dump_seq_printf(m, st->to_dmesg,
248 "0x%0*lx-0x%0*lx ",
249 width, st->start_address,
250 width, st->current_address);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200251
H. Peter Anvin3891a042014-04-29 16:46:09 -0700252 delta = st->current_address - st->start_address;
253 while (!(delta & 1023) && unit[1]) {
254 delta >>= 10;
255 unit++;
256 }
257 pt_dump_cont_printf(m, st->to_dmesg, "%9lu%c ",
258 delta, *unit);
259 printk_prot(m, st->current_prot, st->level,
260 st->to_dmesg);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200261 }
H. Peter Anvin3891a042014-04-29 16:46:09 -0700262 st->lines++;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200263
264 /*
Arjan van de Ven926e5392008-04-17 17:40:45 +0200265 * We print markers for special areas of address space,
266 * such as the start of vmalloc space etc.
267 * This helps in the interpretation.
268 */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200269 if (st->current_address >= st->marker[1].start_address) {
H. Peter Anvin3891a042014-04-29 16:46:09 -0700270 if (st->marker->max_lines &&
271 st->lines > st->marker->max_lines) {
272 unsigned long nskip =
273 st->lines - st->marker->max_lines;
274 pt_dump_seq_printf(m, st->to_dmesg,
275 "... %lu entr%s skipped ... \n",
276 nskip,
277 nskip == 1 ? "y" : "ies");
278 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200279 st->marker++;
H. Peter Anvin3891a042014-04-29 16:46:09 -0700280 st->lines = 0;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100281 pt_dump_seq_printf(m, st->to_dmesg, "---[ %s ]---\n",
282 st->marker->name);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200283 }
284
Arjan van de Ven926e5392008-04-17 17:40:45 +0200285 st->start_address = st->current_address;
286 st->current_prot = new_prot;
287 st->level = level;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200288 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200289}
290
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300291static 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 +0200292{
293 int i;
294 pte_t *start;
Toshi Kanida25e622015-09-17 12:24:19 -0600295 pgprotval_t prot;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200296
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300297 start = (pte_t *)pmd_page_vaddr(addr);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200298 for (i = 0; i < PTRS_PER_PTE; i++) {
Toshi Kanida25e622015-09-17 12:24:19 -0600299 prot = pte_flags(*start);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200300 st->current_address = normalize_addr(P + i * PTE_LEVEL_MULT);
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300301 note_page(m, st, __pgprot(prot), 5);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200302 start++;
303 }
304}
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300305#ifdef CONFIG_KASAN
306
307/*
308 * This is an optimization for KASAN=y case. Since all kasan page tables
309 * eventually point to the kasan_zero_page we could call note_page()
310 * right away without walking through lower level page tables. This saves
311 * us dozens of seconds (minutes for 5-level config) while checking for
312 * W+X mapping or reading kernel_page_tables debugfs file.
313 */
314static inline bool kasan_page_table(struct seq_file *m, struct pg_state *st,
315 void *pt)
316{
317 if (__pa(pt) == __pa(kasan_zero_pmd) ||
318#ifdef CONFIG_X86_5LEVEL
319 __pa(pt) == __pa(kasan_zero_p4d) ||
320#endif
321 __pa(pt) == __pa(kasan_zero_pud)) {
322 pgprotval_t prot = pte_flags(kasan_zero_pte[0]);
323 note_page(m, st, __pgprot(prot), 5);
324 return true;
325 }
326 return false;
327}
328#else
329static inline bool kasan_page_table(struct seq_file *m, struct pg_state *st,
330 void *pt)
331{
332 return false;
333}
334#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200335
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200336#if PTRS_PER_PMD > 1
Arjan van de Ven926e5392008-04-17 17:40:45 +0200337
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300338static 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 +0200339{
340 int i;
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300341 pmd_t *start, *pmd_start;
Toshi Kanida25e622015-09-17 12:24:19 -0600342 pgprotval_t prot;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200343
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300344 pmd_start = start = (pmd_t *)pud_page_vaddr(addr);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200345 for (i = 0; i < PTRS_PER_PMD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200346 st->current_address = normalize_addr(P + i * PMD_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200347 if (!pmd_none(*start)) {
Toshi Kanida25e622015-09-17 12:24:19 -0600348 if (pmd_large(*start) || !pmd_present(*start)) {
349 prot = pmd_flags(*start);
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300350 note_page(m, st, __pgprot(prot), 4);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300351 } else if (!kasan_page_table(m, st, pmd_start)) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200352 walk_pte_level(m, st, *start,
353 P + i * PMD_LEVEL_MULT);
Toshi Kanida25e622015-09-17 12:24:19 -0600354 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200355 } else
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300356 note_page(m, st, __pgprot(0), 4);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200357 start++;
358 }
359}
360
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200361#else
362#define walk_pmd_level(m,s,a,p) walk_pte_level(m,s,__pmd(pud_val(a)),p)
363#define pud_large(a) pmd_large(__pmd(pud_val(a)))
364#define pud_none(a) pmd_none(__pmd(pud_val(a)))
365#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200366
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200367#if PTRS_PER_PUD > 1
368
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300369static 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 +0200370{
371 int i;
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300372 pud_t *start, *pud_start;
Toshi Kanida25e622015-09-17 12:24:19 -0600373 pgprotval_t prot;
Andrey Ryabinin243b72a2017-02-14 13:08:38 +0300374 pud_t *prev_pud = NULL;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200375
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300376 pud_start = start = (pud_t *)p4d_page_vaddr(addr);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200377
378 for (i = 0; i < PTRS_PER_PUD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200379 st->current_address = normalize_addr(P + i * PUD_LEVEL_MULT);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300380 if (!pud_none(*start)) {
Toshi Kanida25e622015-09-17 12:24:19 -0600381 if (pud_large(*start) || !pud_present(*start)) {
382 prot = pud_flags(*start);
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300383 note_page(m, st, __pgprot(prot), 3);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300384 } else if (!kasan_page_table(m, st, pud_start)) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200385 walk_pmd_level(m, st, *start,
386 P + i * PUD_LEVEL_MULT);
Toshi Kanida25e622015-09-17 12:24:19 -0600387 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200388 } else
Kirill A. Shutemov45dcd202017-07-17 01:59:48 +0300389 note_page(m, st, __pgprot(0), 3);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200390
Andrey Ryabinin243b72a2017-02-14 13:08:38 +0300391 prev_pud = start;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200392 start++;
393 }
394}
395
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200396#else
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300397#define walk_pud_level(m,s,a,p) walk_pmd_level(m,s,__pud(p4d_val(a)),p)
398#define p4d_large(a) pud_large(__pud(p4d_val(a)))
399#define p4d_none(a) pud_none(__pud(p4d_val(a)))
400#endif
401
402#if PTRS_PER_P4D > 1
403
404static void walk_p4d_level(struct seq_file *m, struct pg_state *st, pgd_t addr, unsigned long P)
405{
406 int i;
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300407 p4d_t *start, *p4d_start;
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300408 pgprotval_t prot;
409
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300410 p4d_start = start = (p4d_t *)pgd_page_vaddr(addr);
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300411
412 for (i = 0; i < PTRS_PER_P4D; i++) {
413 st->current_address = normalize_addr(P + i * P4D_LEVEL_MULT);
414 if (!p4d_none(*start)) {
415 if (p4d_large(*start) || !p4d_present(*start)) {
416 prot = p4d_flags(*start);
417 note_page(m, st, __pgprot(prot), 2);
Andrey Ryabinin04b67022017-07-24 18:25:58 +0300418 } else if (!kasan_page_table(m, st, p4d_start)) {
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300419 walk_pud_level(m, st, *start,
420 P + i * P4D_LEVEL_MULT);
421 }
422 } else
423 note_page(m, st, __pgprot(0), 2);
424
425 start++;
426 }
427}
428
429#else
430#define walk_p4d_level(m,s,a,p) walk_pud_level(m,s,__p4d(pgd_val(a)),p)
431#define pgd_large(a) p4d_large(__p4d(pgd_val(a)))
432#define pgd_none(a) p4d_none(__p4d(pgd_val(a)))
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200433#endif
434
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500435static inline bool is_hypervisor_range(int idx)
436{
Borislav Petkovb1768622016-02-18 21:00:41 +0100437#ifdef CONFIG_X86_64
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500438 /*
439 * ffff800000000000 - ffff87ffffffffff is reserved for
440 * the hypervisor.
441 */
Borislav Petkovb1768622016-02-18 21:00:41 +0100442 return (idx >= pgd_index(__PAGE_OFFSET) - 16) &&
443 (idx < pgd_index(__PAGE_OFFSET));
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500444#else
Borislav Petkovb1768622016-02-18 21:00:41 +0100445 return false;
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500446#endif
Borislav Petkovb1768622016-02-18 21:00:41 +0100447}
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500448
Stephen Smalleye1a58322015-10-05 12:55:20 -0400449static void ptdump_walk_pgd_level_core(struct seq_file *m, pgd_t *pgd,
450 bool checkwx)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200451{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200452#ifdef CONFIG_X86_64
Kirill A. Shutemov65ade2f2017-06-06 14:31:27 +0300453 pgd_t *start = (pgd_t *) &init_top_pgt;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200454#else
455 pgd_t *start = swapper_pg_dir;
456#endif
Toshi Kanida25e622015-09-17 12:24:19 -0600457 pgprotval_t prot;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200458 int i;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100459 struct pg_state st = {};
Arjan van de Ven926e5392008-04-17 17:40:45 +0200460
Borislav Petkovef6bea62014-01-18 12:48:14 +0100461 if (pgd) {
462 start = pgd;
463 st.to_dmesg = true;
464 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200465
Stephen Smalleye1a58322015-10-05 12:55:20 -0400466 st.check_wx = checkwx;
467 if (checkwx)
468 st.wx_pages = 0;
469
Arjan van de Ven926e5392008-04-17 17:40:45 +0200470 for (i = 0; i < PTRS_PER_PGD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200471 st.current_address = normalize_addr(i * PGD_LEVEL_MULT);
Boris Ostrovskyf4e342c2015-11-05 13:56:35 -0500472 if (!pgd_none(*start) && !is_hypervisor_range(i)) {
Toshi Kanida25e622015-09-17 12:24:19 -0600473 if (pgd_large(*start) || !pgd_present(*start)) {
474 prot = pgd_flags(*start);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200475 note_page(m, &st, __pgprot(prot), 1);
Toshi Kanida25e622015-09-17 12:24:19 -0600476 } else {
Kirill A. Shutemovfdd3d8c2017-03-28 13:48:06 +0300477 walk_p4d_level(m, &st, *start,
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200478 i * PGD_LEVEL_MULT);
Toshi Kanida25e622015-09-17 12:24:19 -0600479 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200480 } else
Arjan van de Ven926e5392008-04-17 17:40:45 +0200481 note_page(m, &st, __pgprot(0), 1);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200482
Andrey Ryabinin146fbb762017-02-10 12:54:05 +0300483 cond_resched();
Arjan van de Ven926e5392008-04-17 17:40:45 +0200484 start++;
485 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200486
487 /* Flush out the last page */
488 st.current_address = normalize_addr(PTRS_PER_PGD*PGD_LEVEL_MULT);
489 note_page(m, &st, __pgprot(0), 0);
Stephen Smalleye1a58322015-10-05 12:55:20 -0400490 if (!checkwx)
491 return;
492 if (st.wx_pages)
493 pr_info("x86/mm: Checked W+X mappings: FAILED, %lu W+X pages found.\n",
494 st.wx_pages);
495 else
496 pr_info("x86/mm: Checked W+X mappings: passed, no W+X pages found.\n");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200497}
498
Stephen Smalleye1a58322015-10-05 12:55:20 -0400499void ptdump_walk_pgd_level(struct seq_file *m, pgd_t *pgd)
500{
501 ptdump_walk_pgd_level_core(m, pgd, false);
502}
Kees Cook8609d1b2015-11-19 17:07:55 -0800503EXPORT_SYMBOL_GPL(ptdump_walk_pgd_level);
Stephen Smalleye1a58322015-10-05 12:55:20 -0400504
505void ptdump_walk_pgd_level_checkwx(void)
506{
507 ptdump_walk_pgd_level_core(NULL, NULL, true);
508}
509
Kees Cook8609d1b2015-11-19 17:07:55 -0800510static int __init pt_dump_init(void)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200511{
Thomas Garnier0483e1f2016-06-21 17:47:02 -0700512 /*
513 * Various markers are not compile-time constants, so assign them
514 * here.
515 */
516#ifdef CONFIG_X86_64
517 address_markers[LOW_KERNEL_NR].start_address = PAGE_OFFSET;
518 address_markers[VMALLOC_START_NR].start_address = VMALLOC_START;
519 address_markers[VMEMMAP_START_NR].start_address = VMEMMAP_START;
520#endif
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200521#ifdef CONFIG_X86_32
Andres Salomon92851e22010-07-20 15:19:46 -0700522 address_markers[VMALLOC_START_NR].start_address = VMALLOC_START;
523 address_markers[VMALLOC_END_NR].start_address = VMALLOC_END;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200524# ifdef CONFIG_HIGHMEM
Andres Salomon92851e22010-07-20 15:19:46 -0700525 address_markers[PKMAP_BASE_NR].start_address = PKMAP_BASE;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200526# endif
Andres Salomon92851e22010-07-20 15:19:46 -0700527 address_markers[FIXADDR_START_NR].start_address = FIXADDR_START;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200528#endif
529
Arjan van de Ven926e5392008-04-17 17:40:45 +0200530 return 0;
531}
Arjan van de Ven926e5392008-04-17 17:40:45 +0200532__initcall(pt_dump_init);