blob: ca74a2aace425b95ed95ecf0e70a78188621004e [file] [log] [blame]
Laura Abbottc9465b42014-11-26 00:28:39 +00001/*
2 * Copyright (c) 2014, The Linux Foundation. All rights reserved.
3 * Debug helper to dump the current kernel pagetables of the system
4 * so that we can see what the various memory ranges are set to.
5 *
6 * Derived from x86 and arm implementation:
7 * (C) Copyright 2008 Intel Corporation
8 *
9 * Author: Arjan van de Ven <arjan@linux.intel.com>
10 *
11 * This program is free software; you can redistribute it and/or
12 * modify it under the terms of the GNU General Public License
13 * as published by the Free Software Foundation; version 2
14 * of the License.
15 */
16#include <linux/debugfs.h>
Mark Rutland764011c2015-01-22 18:20:36 +000017#include <linux/errno.h>
Laura Abbottc9465b42014-11-26 00:28:39 +000018#include <linux/fs.h>
Mark Brown284be282015-01-22 20:52:10 +000019#include <linux/io.h>
Mark Rutland764011c2015-01-22 18:20:36 +000020#include <linux/init.h>
Laura Abbottc9465b42014-11-26 00:28:39 +000021#include <linux/mm.h>
22#include <linux/sched.h>
23#include <linux/seq_file.h>
24
25#include <asm/fixmap.h>
Ard Biesheuveld8fc68a2016-04-22 18:48:04 +020026#include <asm/kasan.h>
Mark Rutland764011c2015-01-22 18:20:36 +000027#include <asm/memory.h>
Laura Abbottc9465b42014-11-26 00:28:39 +000028#include <asm/pgtable.h>
Mark Rutland764011c2015-01-22 18:20:36 +000029#include <asm/pgtable-hwdef.h>
Mark Rutland4674fdb2016-05-31 14:49:01 +010030#include <asm/ptdump.h>
Laura Abbottc9465b42014-11-26 00:28:39 +000031
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020032static const struct addr_marker address_markers[] = {
Ard Biesheuveld8fc68a2016-04-22 18:48:04 +020033#ifdef CONFIG_KASAN
34 { KASAN_SHADOW_START, "Kasan shadow start" },
35 { KASAN_SHADOW_END, "Kasan shadow end" },
36#endif
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020037 { MODULES_VADDR, "Modules start" },
38 { MODULES_END, "Modules end" },
39 { VMALLOC_START, "vmalloc() Area" },
40 { VMALLOC_END, "vmalloc() End" },
41 { FIXADDR_START, "Fixmap start" },
42 { FIXADDR_TOP, "Fixmap end" },
43 { PCI_IO_START, "PCI I/O start" },
44 { PCI_IO_END, "PCI I/O end" },
Ard Biesheuvel3e1907d2016-03-30 16:46:00 +020045#ifdef CONFIG_SPARSEMEM_VMEMMAP
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020046 { VMEMMAP_START, "vmemmap start" },
47 { VMEMMAP_START + VMEMMAP_SIZE, "vmemmap end" },
Ard Biesheuvel3e1907d2016-03-30 16:46:00 +020048#endif
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020049 { PAGE_OFFSET, "Linear Mapping" },
50 { -1, NULL },
Laura Abbottc9465b42014-11-26 00:28:39 +000051};
52
Laura Abbottae5d1cf2016-10-27 09:27:32 -070053#define pt_dump_seq_printf(m, fmt, args...) \
54({ \
55 if (m) \
56 seq_printf(m, fmt, ##args); \
57})
58
59#define pt_dump_seq_puts(m, fmt) \
60({ \
61 if (m) \
62 seq_printf(m, fmt); \
63})
64
Jeremy Linton202e41a2015-10-07 12:00:23 -050065/*
66 * The page dumper groups page table entries of the same type into a single
67 * description. It uses pg_state to track the range information while
68 * iterating over the pte entries. When the continuity is broken it then
69 * dumps out a description of the range.
70 */
Laura Abbottc9465b42014-11-26 00:28:39 +000071struct pg_state {
72 struct seq_file *seq;
73 const struct addr_marker *marker;
74 unsigned long start_address;
75 unsigned level;
76 u64 current_prot;
Laura Abbott1404d6f2016-10-27 09:27:34 -070077 bool check_wx;
78 unsigned long wx_pages;
79 unsigned long uxn_pages;
Laura Abbottc9465b42014-11-26 00:28:39 +000080};
81
82struct prot_bits {
83 u64 mask;
84 u64 val;
85 const char *set;
86 const char *clear;
87};
88
89static const struct prot_bits pte_bits[] = {
90 {
Laura Abbottd7e9d592016-02-05 16:24:48 -080091 .mask = PTE_VALID,
92 .val = PTE_VALID,
93 .set = " ",
94 .clear = "F",
95 }, {
Laura Abbottc9465b42014-11-26 00:28:39 +000096 .mask = PTE_USER,
97 .val = PTE_USER,
98 .set = "USR",
99 .clear = " ",
100 }, {
101 .mask = PTE_RDONLY,
102 .val = PTE_RDONLY,
103 .set = "ro",
104 .clear = "RW",
105 }, {
106 .mask = PTE_PXN,
107 .val = PTE_PXN,
108 .set = "NX",
109 .clear = "x ",
110 }, {
111 .mask = PTE_SHARED,
112 .val = PTE_SHARED,
113 .set = "SHD",
114 .clear = " ",
115 }, {
116 .mask = PTE_AF,
117 .val = PTE_AF,
118 .set = "AF",
119 .clear = " ",
120 }, {
121 .mask = PTE_NG,
122 .val = PTE_NG,
123 .set = "NG",
124 .clear = " ",
125 }, {
Jeremy Linton202e41a2015-10-07 12:00:23 -0500126 .mask = PTE_CONT,
127 .val = PTE_CONT,
128 .set = "CON",
129 .clear = " ",
130 }, {
131 .mask = PTE_TABLE_BIT,
132 .val = PTE_TABLE_BIT,
133 .set = " ",
134 .clear = "BLK",
135 }, {
Laura Abbottc9465b42014-11-26 00:28:39 +0000136 .mask = PTE_UXN,
137 .val = PTE_UXN,
138 .set = "UXN",
139 }, {
140 .mask = PTE_ATTRINDX_MASK,
141 .val = PTE_ATTRINDX(MT_DEVICE_nGnRnE),
142 .set = "DEVICE/nGnRnE",
143 }, {
144 .mask = PTE_ATTRINDX_MASK,
145 .val = PTE_ATTRINDX(MT_DEVICE_nGnRE),
146 .set = "DEVICE/nGnRE",
147 }, {
148 .mask = PTE_ATTRINDX_MASK,
149 .val = PTE_ATTRINDX(MT_DEVICE_GRE),
150 .set = "DEVICE/GRE",
151 }, {
152 .mask = PTE_ATTRINDX_MASK,
153 .val = PTE_ATTRINDX(MT_NORMAL_NC),
154 .set = "MEM/NORMAL-NC",
155 }, {
156 .mask = PTE_ATTRINDX_MASK,
157 .val = PTE_ATTRINDX(MT_NORMAL),
158 .set = "MEM/NORMAL",
159 }
160};
161
162struct pg_level {
163 const struct prot_bits *bits;
Mark Rutland48dd73c2016-05-31 14:49:02 +0100164 const char *name;
Laura Abbottc9465b42014-11-26 00:28:39 +0000165 size_t num;
166 u64 mask;
167};
168
169static struct pg_level pg_level[] = {
170 {
171 }, { /* pgd */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100172 .name = "PGD",
Laura Abbottc9465b42014-11-26 00:28:39 +0000173 .bits = pte_bits,
174 .num = ARRAY_SIZE(pte_bits),
175 }, { /* pud */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100176 .name = (CONFIG_PGTABLE_LEVELS > 3) ? "PUD" : "PGD",
Laura Abbottc9465b42014-11-26 00:28:39 +0000177 .bits = pte_bits,
178 .num = ARRAY_SIZE(pte_bits),
179 }, { /* pmd */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100180 .name = (CONFIG_PGTABLE_LEVELS > 2) ? "PMD" : "PGD",
Laura Abbottc9465b42014-11-26 00:28:39 +0000181 .bits = pte_bits,
182 .num = ARRAY_SIZE(pte_bits),
183 }, { /* pte */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100184 .name = "PTE",
Laura Abbottc9465b42014-11-26 00:28:39 +0000185 .bits = pte_bits,
186 .num = ARRAY_SIZE(pte_bits),
187 },
188};
189
190static void dump_prot(struct pg_state *st, const struct prot_bits *bits,
191 size_t num)
192{
193 unsigned i;
194
195 for (i = 0; i < num; i++, bits++) {
196 const char *s;
197
198 if ((st->current_prot & bits->mask) == bits->val)
199 s = bits->set;
200 else
201 s = bits->clear;
202
203 if (s)
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700204 pt_dump_seq_printf(st->seq, " %s", s);
Laura Abbottc9465b42014-11-26 00:28:39 +0000205 }
206}
207
Laura Abbott1404d6f2016-10-27 09:27:34 -0700208static void note_prot_uxn(struct pg_state *st, unsigned long addr)
209{
210 if (!st->check_wx)
211 return;
212
213 if ((st->current_prot & PTE_UXN) == PTE_UXN)
214 return;
215
216 WARN_ONCE(1, "arm64/mm: Found non-UXN mapping at address %p/%pS\n",
217 (void *)st->start_address, (void *)st->start_address);
218
219 st->uxn_pages += (addr - st->start_address) / PAGE_SIZE;
220}
221
222static void note_prot_wx(struct pg_state *st, unsigned long addr)
223{
224 if (!st->check_wx)
225 return;
226 if ((st->current_prot & PTE_RDONLY) == PTE_RDONLY)
227 return;
228 if ((st->current_prot & PTE_PXN) == PTE_PXN)
229 return;
230
231 WARN_ONCE(1, "arm64/mm: Found insecure W+X mapping at address %p/%pS\n",
232 (void *)st->start_address, (void *)st->start_address);
233
234 st->wx_pages += (addr - st->start_address) / PAGE_SIZE;
235}
236
Laura Abbottc9465b42014-11-26 00:28:39 +0000237static void note_page(struct pg_state *st, unsigned long addr, unsigned level,
238 u64 val)
239{
240 static const char units[] = "KMGTPE";
241 u64 prot = val & pg_level[level].mask;
242
Laura Abbottc9465b42014-11-26 00:28:39 +0000243 if (!st->level) {
244 st->level = level;
245 st->current_prot = prot;
246 st->start_address = addr;
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700247 pt_dump_seq_printf(st->seq, "---[ %s ]---\n", st->marker->name);
Laura Abbottc9465b42014-11-26 00:28:39 +0000248 } else if (prot != st->current_prot || level != st->level ||
249 addr >= st->marker[1].start_address) {
250 const char *unit = units;
251 unsigned long delta;
252
253 if (st->current_prot) {
Laura Abbott1404d6f2016-10-27 09:27:34 -0700254 note_prot_uxn(st, addr);
255 note_prot_wx(st, addr);
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700256 pt_dump_seq_printf(st->seq, "0x%016lx-0x%016lx ",
Laura Abbottc9465b42014-11-26 00:28:39 +0000257 st->start_address, addr);
258
259 delta = (addr - st->start_address) >> 10;
260 while (!(delta & 1023) && unit[1]) {
261 delta >>= 10;
262 unit++;
263 }
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700264 pt_dump_seq_printf(st->seq, "%9lu%c %s", delta, *unit,
Mark Rutland48dd73c2016-05-31 14:49:02 +0100265 pg_level[st->level].name);
Laura Abbottc9465b42014-11-26 00:28:39 +0000266 if (pg_level[st->level].bits)
267 dump_prot(st, pg_level[st->level].bits,
268 pg_level[st->level].num);
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700269 pt_dump_seq_puts(st->seq, "\n");
Laura Abbottc9465b42014-11-26 00:28:39 +0000270 }
271
272 if (addr >= st->marker[1].start_address) {
273 st->marker++;
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700274 pt_dump_seq_printf(st->seq, "---[ %s ]---\n", st->marker->name);
Laura Abbottc9465b42014-11-26 00:28:39 +0000275 }
276
277 st->start_address = addr;
278 st->current_prot = prot;
279 st->level = level;
280 }
281
282 if (addr >= st->marker[1].start_address) {
283 st->marker++;
Laura Abbottae5d1cf2016-10-27 09:27:32 -0700284 pt_dump_seq_printf(st->seq, "---[ %s ]---\n", st->marker->name);
Laura Abbottc9465b42014-11-26 00:28:39 +0000285 }
286
287}
288
289static void walk_pte(struct pg_state *st, pmd_t *pmd, unsigned long start)
290{
Catalin Marinasa93a4d62014-12-05 12:34:54 +0000291 pte_t *pte = pte_offset_kernel(pmd, 0UL);
Laura Abbottc9465b42014-11-26 00:28:39 +0000292 unsigned long addr;
293 unsigned i;
294
295 for (i = 0; i < PTRS_PER_PTE; i++, pte++) {
296 addr = start + i * PAGE_SIZE;
297 note_page(st, addr, 4, pte_val(*pte));
298 }
299}
300
301static void walk_pmd(struct pg_state *st, pud_t *pud, unsigned long start)
302{
Catalin Marinasa93a4d62014-12-05 12:34:54 +0000303 pmd_t *pmd = pmd_offset(pud, 0UL);
Laura Abbottc9465b42014-11-26 00:28:39 +0000304 unsigned long addr;
305 unsigned i;
306
307 for (i = 0; i < PTRS_PER_PMD; i++, pmd++) {
308 addr = start + i * PMD_SIZE;
Mark Rutlanda1c76572015-01-27 16:36:30 +0000309 if (pmd_none(*pmd) || pmd_sect(*pmd)) {
Laura Abbottc9465b42014-11-26 00:28:39 +0000310 note_page(st, addr, 3, pmd_val(*pmd));
Mark Rutlanda1c76572015-01-27 16:36:30 +0000311 } else {
312 BUG_ON(pmd_bad(*pmd));
Laura Abbottc9465b42014-11-26 00:28:39 +0000313 walk_pte(st, pmd, addr);
Mark Rutlanda1c76572015-01-27 16:36:30 +0000314 }
Laura Abbottc9465b42014-11-26 00:28:39 +0000315 }
316}
317
318static void walk_pud(struct pg_state *st, pgd_t *pgd, unsigned long start)
319{
Catalin Marinasa93a4d62014-12-05 12:34:54 +0000320 pud_t *pud = pud_offset(pgd, 0UL);
Laura Abbottc9465b42014-11-26 00:28:39 +0000321 unsigned long addr;
322 unsigned i;
323
324 for (i = 0; i < PTRS_PER_PUD; i++, pud++) {
325 addr = start + i * PUD_SIZE;
Mark Rutlanda1c76572015-01-27 16:36:30 +0000326 if (pud_none(*pud) || pud_sect(*pud)) {
Laura Abbottc9465b42014-11-26 00:28:39 +0000327 note_page(st, addr, 2, pud_val(*pud));
Mark Rutlanda1c76572015-01-27 16:36:30 +0000328 } else {
329 BUG_ON(pud_bad(*pud));
Laura Abbottc9465b42014-11-26 00:28:39 +0000330 walk_pmd(st, pud, addr);
Mark Rutlanda1c76572015-01-27 16:36:30 +0000331 }
Laura Abbottc9465b42014-11-26 00:28:39 +0000332 }
333}
334
Mark Rutland4674fdb2016-05-31 14:49:01 +0100335static void walk_pgd(struct pg_state *st, struct mm_struct *mm,
336 unsigned long start)
Laura Abbottc9465b42014-11-26 00:28:39 +0000337{
Mark Rutland35545f0c2014-12-05 12:34:54 +0000338 pgd_t *pgd = pgd_offset(mm, 0UL);
Laura Abbottc9465b42014-11-26 00:28:39 +0000339 unsigned i;
340 unsigned long addr;
341
342 for (i = 0; i < PTRS_PER_PGD; i++, pgd++) {
343 addr = start + i * PGDIR_SIZE;
Mark Rutlanda1c76572015-01-27 16:36:30 +0000344 if (pgd_none(*pgd)) {
Laura Abbottc9465b42014-11-26 00:28:39 +0000345 note_page(st, addr, 1, pgd_val(*pgd));
Mark Rutlanda1c76572015-01-27 16:36:30 +0000346 } else {
347 BUG_ON(pgd_bad(*pgd));
Laura Abbottc9465b42014-11-26 00:28:39 +0000348 walk_pud(st, pgd, addr);
Mark Rutlanda1c76572015-01-27 16:36:30 +0000349 }
Laura Abbottc9465b42014-11-26 00:28:39 +0000350 }
351}
352
Laura Abbott4ddb9bf2016-10-27 09:27:31 -0700353void ptdump_walk_pgd(struct seq_file *m, struct ptdump_info *info)
Laura Abbottc9465b42014-11-26 00:28:39 +0000354{
355 struct pg_state st = {
356 .seq = m,
Mark Rutland4674fdb2016-05-31 14:49:01 +0100357 .marker = info->markers,
Laura Abbottc9465b42014-11-26 00:28:39 +0000358 };
359
Mark Rutland4674fdb2016-05-31 14:49:01 +0100360 walk_pgd(&st, info->mm, info->base_addr);
Laura Abbottc9465b42014-11-26 00:28:39 +0000361
362 note_page(&st, 0, 0, 0);
Laura Abbottc9465b42014-11-26 00:28:39 +0000363}
364
Laura Abbott4ddb9bf2016-10-27 09:27:31 -0700365static void ptdump_initialize(void)
Laura Abbottc9465b42014-11-26 00:28:39 +0000366{
Laura Abbottc9465b42014-11-26 00:28:39 +0000367 unsigned i, j;
368
369 for (i = 0; i < ARRAY_SIZE(pg_level); i++)
370 if (pg_level[i].bits)
371 for (j = 0; j < pg_level[i].num; j++)
372 pg_level[i].mask |= pg_level[i].bits[j].mask;
Laura Abbottc9465b42014-11-26 00:28:39 +0000373}
Mark Rutland4674fdb2016-05-31 14:49:01 +0100374
375static struct ptdump_info kernel_ptdump_info = {
376 .mm = &init_mm,
377 .markers = address_markers,
378 .base_addr = VA_START,
379};
380
Laura Abbott1404d6f2016-10-27 09:27:34 -0700381void ptdump_check_wx(void)
382{
383 struct pg_state st = {
384 .seq = NULL,
385 .marker = (struct addr_marker[]) {
386 { 0, NULL},
387 { -1, NULL},
388 },
389 .check_wx = true,
390 };
391
392 walk_pgd(&st, &init_mm, 0);
393 note_page(&st, 0, 0, 0);
394 if (st.wx_pages || st.uxn_pages)
395 pr_warn("Checked W+X mappings: FAILED, %lu W+X pages found, %lu non-UXN pages found\n",
396 st.wx_pages, st.uxn_pages);
397 else
398 pr_info("Checked W+X mappings: passed, no W+X pages found\n");
399}
400
Mark Rutland4674fdb2016-05-31 14:49:01 +0100401static int ptdump_init(void)
402{
Laura Abbott4ddb9bf2016-10-27 09:27:31 -0700403 ptdump_initialize();
404 return ptdump_debugfs_register(&kernel_ptdump_info,
405 "kernel_page_tables");
Mark Rutland4674fdb2016-05-31 14:49:01 +0100406}
Laura Abbottc9465b42014-11-26 00:28:39 +0000407device_initcall(ptdump_init);