blob: ccfde237d6e690726fe5ca899df1f0e0c53eddc4 [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>
Laura Abbottc9465b42014-11-26 00:28:39 +000030
Laura Abbottc9465b42014-11-26 00:28:39 +000031struct addr_marker {
32 unsigned long start_address;
33 const char *name;
34};
35
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020036static const struct addr_marker address_markers[] = {
Ard Biesheuveld8fc68a2016-04-22 18:48:04 +020037#ifdef CONFIG_KASAN
38 { KASAN_SHADOW_START, "Kasan shadow start" },
39 { KASAN_SHADOW_END, "Kasan shadow end" },
40#endif
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020041 { MODULES_VADDR, "Modules start" },
42 { MODULES_END, "Modules end" },
43 { VMALLOC_START, "vmalloc() Area" },
44 { VMALLOC_END, "vmalloc() End" },
45 { FIXADDR_START, "Fixmap start" },
46 { FIXADDR_TOP, "Fixmap end" },
47 { PCI_IO_START, "PCI I/O start" },
48 { PCI_IO_END, "PCI I/O end" },
Ard Biesheuvel3e1907d2016-03-30 16:46:00 +020049#ifdef CONFIG_SPARSEMEM_VMEMMAP
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020050 { VMEMMAP_START, "vmemmap start" },
51 { VMEMMAP_START + VMEMMAP_SIZE, "vmemmap end" },
Ard Biesheuvel3e1907d2016-03-30 16:46:00 +020052#endif
Ard Biesheuvelc8f8cca2016-04-22 18:48:03 +020053 { PAGE_OFFSET, "Linear Mapping" },
54 { -1, NULL },
Laura Abbottc9465b42014-11-26 00:28:39 +000055};
56
Jeremy Linton202e41a2015-10-07 12:00:23 -050057/*
58 * The page dumper groups page table entries of the same type into a single
59 * description. It uses pg_state to track the range information while
60 * iterating over the pte entries. When the continuity is broken it then
61 * dumps out a description of the range.
62 */
Laura Abbottc9465b42014-11-26 00:28:39 +000063struct pg_state {
64 struct seq_file *seq;
65 const struct addr_marker *marker;
66 unsigned long start_address;
67 unsigned level;
68 u64 current_prot;
69};
70
71struct prot_bits {
72 u64 mask;
73 u64 val;
74 const char *set;
75 const char *clear;
76};
77
78static const struct prot_bits pte_bits[] = {
79 {
Laura Abbottd7e9d592016-02-05 16:24:48 -080080 .mask = PTE_VALID,
81 .val = PTE_VALID,
82 .set = " ",
83 .clear = "F",
84 }, {
Laura Abbottc9465b42014-11-26 00:28:39 +000085 .mask = PTE_USER,
86 .val = PTE_USER,
87 .set = "USR",
88 .clear = " ",
89 }, {
90 .mask = PTE_RDONLY,
91 .val = PTE_RDONLY,
92 .set = "ro",
93 .clear = "RW",
94 }, {
95 .mask = PTE_PXN,
96 .val = PTE_PXN,
97 .set = "NX",
98 .clear = "x ",
99 }, {
100 .mask = PTE_SHARED,
101 .val = PTE_SHARED,
102 .set = "SHD",
103 .clear = " ",
104 }, {
105 .mask = PTE_AF,
106 .val = PTE_AF,
107 .set = "AF",
108 .clear = " ",
109 }, {
110 .mask = PTE_NG,
111 .val = PTE_NG,
112 .set = "NG",
113 .clear = " ",
114 }, {
Jeremy Linton202e41a2015-10-07 12:00:23 -0500115 .mask = PTE_CONT,
116 .val = PTE_CONT,
117 .set = "CON",
118 .clear = " ",
119 }, {
120 .mask = PTE_TABLE_BIT,
121 .val = PTE_TABLE_BIT,
122 .set = " ",
123 .clear = "BLK",
124 }, {
Laura Abbottc9465b42014-11-26 00:28:39 +0000125 .mask = PTE_UXN,
126 .val = PTE_UXN,
127 .set = "UXN",
128 }, {
129 .mask = PTE_ATTRINDX_MASK,
130 .val = PTE_ATTRINDX(MT_DEVICE_nGnRnE),
131 .set = "DEVICE/nGnRnE",
132 }, {
133 .mask = PTE_ATTRINDX_MASK,
134 .val = PTE_ATTRINDX(MT_DEVICE_nGnRE),
135 .set = "DEVICE/nGnRE",
136 }, {
137 .mask = PTE_ATTRINDX_MASK,
138 .val = PTE_ATTRINDX(MT_DEVICE_GRE),
139 .set = "DEVICE/GRE",
140 }, {
141 .mask = PTE_ATTRINDX_MASK,
142 .val = PTE_ATTRINDX(MT_NORMAL_NC),
143 .set = "MEM/NORMAL-NC",
144 }, {
145 .mask = PTE_ATTRINDX_MASK,
146 .val = PTE_ATTRINDX(MT_NORMAL),
147 .set = "MEM/NORMAL",
148 }
149};
150
151struct pg_level {
152 const struct prot_bits *bits;
Mark Rutland48dd73c2016-05-31 14:49:02 +0100153 const char *name;
Laura Abbottc9465b42014-11-26 00:28:39 +0000154 size_t num;
155 u64 mask;
156};
157
158static struct pg_level pg_level[] = {
159 {
160 }, { /* pgd */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100161 .name = "PGD",
Laura Abbottc9465b42014-11-26 00:28:39 +0000162 .bits = pte_bits,
163 .num = ARRAY_SIZE(pte_bits),
164 }, { /* pud */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100165 .name = (CONFIG_PGTABLE_LEVELS > 3) ? "PUD" : "PGD",
Laura Abbottc9465b42014-11-26 00:28:39 +0000166 .bits = pte_bits,
167 .num = ARRAY_SIZE(pte_bits),
168 }, { /* pmd */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100169 .name = (CONFIG_PGTABLE_LEVELS > 2) ? "PMD" : "PGD",
Laura Abbottc9465b42014-11-26 00:28:39 +0000170 .bits = pte_bits,
171 .num = ARRAY_SIZE(pte_bits),
172 }, { /* pte */
Mark Rutland48dd73c2016-05-31 14:49:02 +0100173 .name = "PTE",
Laura Abbottc9465b42014-11-26 00:28:39 +0000174 .bits = pte_bits,
175 .num = ARRAY_SIZE(pte_bits),
176 },
177};
178
179static void dump_prot(struct pg_state *st, const struct prot_bits *bits,
180 size_t num)
181{
182 unsigned i;
183
184 for (i = 0; i < num; i++, bits++) {
185 const char *s;
186
187 if ((st->current_prot & bits->mask) == bits->val)
188 s = bits->set;
189 else
190 s = bits->clear;
191
192 if (s)
193 seq_printf(st->seq, " %s", s);
194 }
195}
196
197static void note_page(struct pg_state *st, unsigned long addr, unsigned level,
198 u64 val)
199{
200 static const char units[] = "KMGTPE";
201 u64 prot = val & pg_level[level].mask;
202
Laura Abbottc9465b42014-11-26 00:28:39 +0000203 if (!st->level) {
204 st->level = level;
205 st->current_prot = prot;
206 st->start_address = addr;
207 seq_printf(st->seq, "---[ %s ]---\n", st->marker->name);
208 } else if (prot != st->current_prot || level != st->level ||
209 addr >= st->marker[1].start_address) {
210 const char *unit = units;
211 unsigned long delta;
212
213 if (st->current_prot) {
Jeremy Linton202e41a2015-10-07 12:00:23 -0500214 seq_printf(st->seq, "0x%016lx-0x%016lx ",
Laura Abbottc9465b42014-11-26 00:28:39 +0000215 st->start_address, addr);
216
217 delta = (addr - st->start_address) >> 10;
218 while (!(delta & 1023) && unit[1]) {
219 delta >>= 10;
220 unit++;
221 }
Mark Rutland48dd73c2016-05-31 14:49:02 +0100222 seq_printf(st->seq, "%9lu%c %s", delta, *unit,
223 pg_level[st->level].name);
Laura Abbottc9465b42014-11-26 00:28:39 +0000224 if (pg_level[st->level].bits)
225 dump_prot(st, pg_level[st->level].bits,
226 pg_level[st->level].num);
227 seq_puts(st->seq, "\n");
228 }
229
230 if (addr >= st->marker[1].start_address) {
231 st->marker++;
232 seq_printf(st->seq, "---[ %s ]---\n", st->marker->name);
233 }
234
235 st->start_address = addr;
236 st->current_prot = prot;
237 st->level = level;
238 }
239
240 if (addr >= st->marker[1].start_address) {
241 st->marker++;
242 seq_printf(st->seq, "---[ %s ]---\n", st->marker->name);
243 }
244
245}
246
247static void walk_pte(struct pg_state *st, pmd_t *pmd, unsigned long start)
248{
249 pte_t *pte = pte_offset_kernel(pmd, 0);
250 unsigned long addr;
251 unsigned i;
252
253 for (i = 0; i < PTRS_PER_PTE; i++, pte++) {
254 addr = start + i * PAGE_SIZE;
255 note_page(st, addr, 4, pte_val(*pte));
256 }
257}
258
259static void walk_pmd(struct pg_state *st, pud_t *pud, unsigned long start)
260{
261 pmd_t *pmd = pmd_offset(pud, 0);
262 unsigned long addr;
263 unsigned i;
264
265 for (i = 0; i < PTRS_PER_PMD; i++, pmd++) {
266 addr = start + i * PMD_SIZE;
Mark Rutlanda1c76572015-01-27 16:36:30 +0000267 if (pmd_none(*pmd) || pmd_sect(*pmd)) {
Laura Abbottc9465b42014-11-26 00:28:39 +0000268 note_page(st, addr, 3, pmd_val(*pmd));
Mark Rutlanda1c76572015-01-27 16:36:30 +0000269 } else {
270 BUG_ON(pmd_bad(*pmd));
Laura Abbottc9465b42014-11-26 00:28:39 +0000271 walk_pte(st, pmd, addr);
Mark Rutlanda1c76572015-01-27 16:36:30 +0000272 }
Laura Abbottc9465b42014-11-26 00:28:39 +0000273 }
274}
275
276static void walk_pud(struct pg_state *st, pgd_t *pgd, unsigned long start)
277{
278 pud_t *pud = pud_offset(pgd, 0);
279 unsigned long addr;
280 unsigned i;
281
282 for (i = 0; i < PTRS_PER_PUD; i++, pud++) {
283 addr = start + i * PUD_SIZE;
Mark Rutlanda1c76572015-01-27 16:36:30 +0000284 if (pud_none(*pud) || pud_sect(*pud)) {
Laura Abbottc9465b42014-11-26 00:28:39 +0000285 note_page(st, addr, 2, pud_val(*pud));
Mark Rutlanda1c76572015-01-27 16:36:30 +0000286 } else {
287 BUG_ON(pud_bad(*pud));
Laura Abbottc9465b42014-11-26 00:28:39 +0000288 walk_pmd(st, pud, addr);
Mark Rutlanda1c76572015-01-27 16:36:30 +0000289 }
Laura Abbottc9465b42014-11-26 00:28:39 +0000290 }
291}
292
293static void walk_pgd(struct pg_state *st, struct mm_struct *mm, unsigned long start)
294{
Mark Rutland35545f0c2014-12-05 12:34:54 +0000295 pgd_t *pgd = pgd_offset(mm, 0UL);
Laura Abbottc9465b42014-11-26 00:28:39 +0000296 unsigned i;
297 unsigned long addr;
298
299 for (i = 0; i < PTRS_PER_PGD; i++, pgd++) {
300 addr = start + i * PGDIR_SIZE;
Mark Rutlanda1c76572015-01-27 16:36:30 +0000301 if (pgd_none(*pgd)) {
Laura Abbottc9465b42014-11-26 00:28:39 +0000302 note_page(st, addr, 1, pgd_val(*pgd));
Mark Rutlanda1c76572015-01-27 16:36:30 +0000303 } else {
304 BUG_ON(pgd_bad(*pgd));
Laura Abbottc9465b42014-11-26 00:28:39 +0000305 walk_pud(st, pgd, addr);
Mark Rutlanda1c76572015-01-27 16:36:30 +0000306 }
Laura Abbottc9465b42014-11-26 00:28:39 +0000307 }
308}
309
310static int ptdump_show(struct seq_file *m, void *v)
311{
312 struct pg_state st = {
313 .seq = m,
314 .marker = address_markers,
315 };
316
Kefeng Wangcc30e6b2016-01-30 15:55:21 +0800317 walk_pgd(&st, &init_mm, VA_START);
Laura Abbottc9465b42014-11-26 00:28:39 +0000318
319 note_page(&st, 0, 0, 0);
320 return 0;
321}
322
323static int ptdump_open(struct inode *inode, struct file *file)
324{
325 return single_open(file, ptdump_show, NULL);
326}
327
328static const struct file_operations ptdump_fops = {
329 .open = ptdump_open,
330 .read = seq_read,
331 .llseek = seq_lseek,
332 .release = single_release,
333};
334
335static int ptdump_init(void)
336{
337 struct dentry *pe;
338 unsigned i, j;
339
340 for (i = 0; i < ARRAY_SIZE(pg_level); i++)
341 if (pg_level[i].bits)
342 for (j = 0; j < pg_level[i].num; j++)
343 pg_level[i].mask |= pg_level[i].bits[j].mask;
344
Laura Abbottc9465b42014-11-26 00:28:39 +0000345 pe = debugfs_create_file("kernel_page_tables", 0400, NULL, NULL,
346 &ptdump_fops);
347 return pe ? 0 : -ENOMEM;
348}
349device_initcall(ptdump_init);