blob: 20621d753d5fb4564dddbf960999158a82bc0707 [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>
16#include <linux/mm.h>
Arjan van de Ven926e5392008-04-17 17:40:45 +020017#include <linux/module.h>
18#include <linux/seq_file.h>
Arjan van de Ven926e5392008-04-17 17:40:45 +020019
20#include <asm/pgtable.h>
21
22/*
23 * The dumper groups pagetable entries of the same type into one, and for
24 * that it needs to keep some state when walking, and flush this state
25 * when a "break" in the continuity is found.
26 */
27struct pg_state {
28 int level;
29 pgprot_t current_prot;
30 unsigned long start_address;
31 unsigned long current_address;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020032 const struct addr_marker *marker;
Borislav Petkovef6bea62014-01-18 12:48:14 +010033 bool to_dmesg;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020034};
35
36struct addr_marker {
37 unsigned long start_address;
38 const char *name;
39};
40
Andres Salomon92851e22010-07-20 15:19:46 -070041/* indices for address_markers; keep sync'd w/ address_markers below */
42enum address_markers_idx {
43 USER_SPACE_NR = 0,
44#ifdef CONFIG_X86_64
45 KERNEL_SPACE_NR,
46 LOW_KERNEL_NR,
47 VMALLOC_START_NR,
48 VMEMMAP_START_NR,
49 HIGH_KERNEL_NR,
50 MODULES_VADDR_NR,
51 MODULES_END_NR,
52#else
53 KERNEL_SPACE_NR,
54 VMALLOC_START_NR,
55 VMALLOC_END_NR,
56# ifdef CONFIG_HIGHMEM
57 PKMAP_BASE_NR,
58# endif
59 FIXADDR_START_NR,
60#endif
61};
62
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020063/* Address space markers hints */
64static struct addr_marker address_markers[] = {
65 { 0, "User Space" },
66#ifdef CONFIG_X86_64
67 { 0x8000000000000000UL, "Kernel Space" },
Jiri Slaby684eb012008-05-12 15:43:37 +020068 { PAGE_OFFSET, "Low Kernel Mapping" },
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020069 { VMALLOC_START, "vmalloc() Area" },
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020070 { VMEMMAP_START, "Vmemmap" },
71 { __START_KERNEL_map, "High Kernel Mapping" },
Yinghai Lu9a79cf92008-03-07 19:17:55 -080072 { MODULES_VADDR, "Modules" },
73 { MODULES_END, "End Modules" },
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020074#else
75 { PAGE_OFFSET, "Kernel Mapping" },
76 { 0/* VMALLOC_START */, "vmalloc() Area" },
77 { 0/*VMALLOC_END*/, "vmalloc() End" },
78# ifdef CONFIG_HIGHMEM
79 { 0/*PKMAP_BASE*/, "Persisent kmap() Area" },
80# endif
81 { 0/*FIXADDR_START*/, "Fixmap Area" },
82#endif
83 { -1, NULL } /* End of list */
Arjan van de Ven926e5392008-04-17 17:40:45 +020084};
85
86/* Multipliers for offsets within the PTEs */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +020087#define PTE_LEVEL_MULT (PAGE_SIZE)
88#define PMD_LEVEL_MULT (PTRS_PER_PTE * PTE_LEVEL_MULT)
89#define PUD_LEVEL_MULT (PTRS_PER_PMD * PMD_LEVEL_MULT)
90#define PGD_LEVEL_MULT (PTRS_PER_PUD * PUD_LEVEL_MULT)
Arjan van de Ven926e5392008-04-17 17:40:45 +020091
Borislav Petkovef6bea62014-01-18 12:48:14 +010092#define pt_dump_seq_printf(m, to_dmesg, fmt, args...) \
93({ \
94 if (to_dmesg) \
95 printk(KERN_INFO fmt, ##args); \
96 else \
97 if (m) \
98 seq_printf(m, fmt, ##args); \
99})
100
101#define pt_dump_cont_printf(m, to_dmesg, fmt, args...) \
102({ \
103 if (to_dmesg) \
104 printk(KERN_CONT fmt, ##args); \
105 else \
106 if (m) \
107 seq_printf(m, fmt, ##args); \
108})
109
Arjan van de Ven926e5392008-04-17 17:40:45 +0200110/*
111 * Print a readable form of a pgprot_t to the seq_file
112 */
Borislav Petkovef6bea62014-01-18 12:48:14 +0100113static void printk_prot(struct seq_file *m, pgprot_t prot, int level, bool dmsg)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200114{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200115 pgprotval_t pr = pgprot_val(prot);
116 static const char * const level_name[] =
117 { "cr3", "pgd", "pud", "pmd", "pte" };
Arjan van de Ven926e5392008-04-17 17:40:45 +0200118
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200119 if (!pgprot_val(prot)) {
120 /* Not present */
Borislav Petkovef6bea62014-01-18 12:48:14 +0100121 pt_dump_cont_printf(m, dmsg, " ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200122 } else {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200123 if (pr & _PAGE_USER)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100124 pt_dump_cont_printf(m, dmsg, "USR ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200125 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100126 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200127 if (pr & _PAGE_RW)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100128 pt_dump_cont_printf(m, dmsg, "RW ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200129 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100130 pt_dump_cont_printf(m, dmsg, "ro ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200131 if (pr & _PAGE_PWT)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100132 pt_dump_cont_printf(m, dmsg, "PWT ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200133 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100134 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200135 if (pr & _PAGE_PCD)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100136 pt_dump_cont_printf(m, dmsg, "PCD ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200137 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100138 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200139
140 /* Bit 9 has a different meaning on level 3 vs 4 */
141 if (level <= 3) {
142 if (pr & _PAGE_PSE)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100143 pt_dump_cont_printf(m, dmsg, "PSE ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200144 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100145 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200146 } else {
147 if (pr & _PAGE_PAT)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100148 pt_dump_cont_printf(m, dmsg, "pat ");
H. Peter Anvinfe770bf02008-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 }
152 if (pr & _PAGE_GLOBAL)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100153 pt_dump_cont_printf(m, dmsg, "GLB ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200154 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100155 pt_dump_cont_printf(m, dmsg, " ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200156 if (pr & _PAGE_NX)
Borislav Petkovef6bea62014-01-18 12:48:14 +0100157 pt_dump_cont_printf(m, dmsg, "NX ");
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200158 else
Borislav Petkovef6bea62014-01-18 12:48:14 +0100159 pt_dump_cont_printf(m, dmsg, "x ");
Arjan van de Ven926e5392008-04-17 17:40:45 +0200160 }
Borislav Petkovef6bea62014-01-18 12:48:14 +0100161 pt_dump_cont_printf(m, dmsg, "%s\n", level_name[level]);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200162}
163
164/*
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200165 * On 64 bits, sign-extend the 48 bit address to 64 bit
Arjan van de Ven926e5392008-04-17 17:40:45 +0200166 */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200167static unsigned long normalize_addr(unsigned long u)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200168{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200169#ifdef CONFIG_X86_64
170 return (signed long)(u << 16) >> 16;
171#else
Arjan van de Ven926e5392008-04-17 17:40:45 +0200172 return u;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200173#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200174}
175
176/*
177 * This function gets called on a break in a continuous series
178 * of PTE entries; the next one is different so we need to
179 * print what we collected so far.
180 */
181static void note_page(struct seq_file *m, struct pg_state *st,
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200182 pgprot_t new_prot, int level)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200183{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200184 pgprotval_t prot, cur;
185 static const char units[] = "KMGTPE";
Arjan van de Ven926e5392008-04-17 17:40:45 +0200186
187 /*
188 * If we have a "break" in the series, we need to flush the state that
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200189 * we have now. "break" is either changing perms, levels or
190 * address space marker.
Arjan van de Ven926e5392008-04-17 17:40:45 +0200191 */
Jeremy Fitzhardinge27990ea2008-08-19 13:10:07 -0700192 prot = pgprot_val(new_prot) & PTE_FLAGS_MASK;
193 cur = pgprot_val(st->current_prot) & PTE_FLAGS_MASK;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200194
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200195 if (!st->level) {
196 /* First entry */
197 st->current_prot = new_prot;
198 st->level = level;
199 st->marker = address_markers;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100200 pt_dump_seq_printf(m, st->to_dmesg, "---[ %s ]---\n",
201 st->marker->name);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200202 } else if (prot != cur || level != st->level ||
203 st->current_address >= st->marker[1].start_address) {
204 const char *unit = units;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200205 unsigned long delta;
Yinghai Lu6424fb32009-04-13 23:51:46 -0700206 int width = sizeof(unsigned long) * 2;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200207
208 /*
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200209 * Now print the actual finished series
210 */
Borislav Petkovef6bea62014-01-18 12:48:14 +0100211 pt_dump_seq_printf(m, st->to_dmesg, "0x%0*lx-0x%0*lx ",
212 width, st->start_address,
213 width, st->current_address);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200214
215 delta = (st->current_address - st->start_address) >> 10;
216 while (!(delta & 1023) && unit[1]) {
217 delta >>= 10;
218 unit++;
219 }
Borislav Petkovef6bea62014-01-18 12:48:14 +0100220 pt_dump_cont_printf(m, st->to_dmesg, "%9lu%c ", delta, *unit);
221 printk_prot(m, st->current_prot, st->level, st->to_dmesg);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200222
223 /*
Arjan van de Ven926e5392008-04-17 17:40:45 +0200224 * We print markers for special areas of address space,
225 * such as the start of vmalloc space etc.
226 * This helps in the interpretation.
227 */
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200228 if (st->current_address >= st->marker[1].start_address) {
229 st->marker++;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100230 pt_dump_seq_printf(m, st->to_dmesg, "---[ %s ]---\n",
231 st->marker->name);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200232 }
233
Arjan van de Ven926e5392008-04-17 17:40:45 +0200234 st->start_address = st->current_address;
235 st->current_prot = new_prot;
236 st->level = level;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200237 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200238}
239
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200240static void walk_pte_level(struct seq_file *m, struct pg_state *st, pmd_t addr,
Arjan van de Ven926e5392008-04-17 17:40:45 +0200241 unsigned long P)
242{
243 int i;
244 pte_t *start;
245
246 start = (pte_t *) pmd_page_vaddr(addr);
247 for (i = 0; i < PTRS_PER_PTE; i++) {
248 pgprot_t prot = pte_pgprot(*start);
249
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200250 st->current_address = normalize_addr(P + i * PTE_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200251 note_page(m, st, prot, 4);
252 start++;
253 }
254}
255
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200256#if PTRS_PER_PMD > 1
Arjan van de Ven926e5392008-04-17 17:40:45 +0200257
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200258static void walk_pmd_level(struct seq_file *m, struct pg_state *st, pud_t addr,
Arjan van de Ven926e5392008-04-17 17:40:45 +0200259 unsigned long P)
260{
261 int i;
262 pmd_t *start;
263
264 start = (pmd_t *) pud_page_vaddr(addr);
265 for (i = 0; i < PTRS_PER_PMD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200266 st->current_address = normalize_addr(P + i * PMD_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200267 if (!pmd_none(*start)) {
Jeremy Fitzhardinge77be1fa2008-07-21 22:59:56 -0700268 pgprotval_t prot = pmd_val(*start) & PTE_FLAGS_MASK;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200269
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200270 if (pmd_large(*start) || !pmd_present(*start))
Arjan van de Ven926e5392008-04-17 17:40:45 +0200271 note_page(m, st, __pgprot(prot), 3);
272 else
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200273 walk_pte_level(m, st, *start,
274 P + i * PMD_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200275 } else
276 note_page(m, st, __pgprot(0), 3);
277 start++;
278 }
279}
280
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200281#else
282#define walk_pmd_level(m,s,a,p) walk_pte_level(m,s,__pmd(pud_val(a)),p)
283#define pud_large(a) pmd_large(__pmd(pud_val(a)))
284#define pud_none(a) pmd_none(__pmd(pud_val(a)))
285#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200286
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200287#if PTRS_PER_PUD > 1
288
289static void walk_pud_level(struct seq_file *m, struct pg_state *st, pgd_t addr,
Arjan van de Ven926e5392008-04-17 17:40:45 +0200290 unsigned long P)
291{
292 int i;
293 pud_t *start;
294
295 start = (pud_t *) pgd_page_vaddr(addr);
296
297 for (i = 0; i < PTRS_PER_PUD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200298 st->current_address = normalize_addr(P + i * PUD_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200299 if (!pud_none(*start)) {
Jeremy Fitzhardinge77be1fa2008-07-21 22:59:56 -0700300 pgprotval_t prot = pud_val(*start) & PTE_FLAGS_MASK;
Arjan van de Ven926e5392008-04-17 17:40:45 +0200301
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200302 if (pud_large(*start) || !pud_present(*start))
Arjan van de Ven926e5392008-04-17 17:40:45 +0200303 note_page(m, st, __pgprot(prot), 2);
304 else
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200305 walk_pmd_level(m, st, *start,
306 P + i * PUD_LEVEL_MULT);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200307 } else
308 note_page(m, st, __pgprot(0), 2);
309
310 start++;
311 }
312}
313
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200314#else
315#define walk_pud_level(m,s,a,p) walk_pmd_level(m,s,__pud(pgd_val(a)),p)
316#define pgd_large(a) pud_large(__pud(pgd_val(a)))
317#define pgd_none(a) pud_none(__pud(pgd_val(a)))
318#endif
319
Borislav Petkovef6bea62014-01-18 12:48:14 +0100320void ptdump_walk_pgd_level(struct seq_file *m, pgd_t *pgd)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200321{
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200322#ifdef CONFIG_X86_64
Arjan van de Ven926e5392008-04-17 17:40:45 +0200323 pgd_t *start = (pgd_t *) &init_level4_pgt;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200324#else
325 pgd_t *start = swapper_pg_dir;
326#endif
Arjan van de Ven926e5392008-04-17 17:40:45 +0200327 int i;
Borislav Petkovef6bea62014-01-18 12:48:14 +0100328 struct pg_state st = {};
Arjan van de Ven926e5392008-04-17 17:40:45 +0200329
Borislav Petkovef6bea62014-01-18 12:48:14 +0100330 if (pgd) {
331 start = pgd;
332 st.to_dmesg = true;
333 }
Arjan van de Ven926e5392008-04-17 17:40:45 +0200334
335 for (i = 0; i < PTRS_PER_PGD; i++) {
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200336 st.current_address = normalize_addr(i * PGD_LEVEL_MULT);
337 if (!pgd_none(*start)) {
Jeremy Fitzhardinge77be1fa2008-07-21 22:59:56 -0700338 pgprotval_t prot = pgd_val(*start) & PTE_FLAGS_MASK;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200339
340 if (pgd_large(*start) || !pgd_present(*start))
341 note_page(m, &st, __pgprot(prot), 1);
342 else
343 walk_pud_level(m, &st, *start,
344 i * PGD_LEVEL_MULT);
345 } else
Arjan van de Ven926e5392008-04-17 17:40:45 +0200346 note_page(m, &st, __pgprot(0), 1);
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200347
Arjan van de Ven926e5392008-04-17 17:40:45 +0200348 start++;
349 }
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200350
351 /* Flush out the last page */
352 st.current_address = normalize_addr(PTRS_PER_PGD*PGD_LEVEL_MULT);
353 note_page(m, &st, __pgprot(0), 0);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200354}
355
356static int ptdump_show(struct seq_file *m, void *v)
357{
Borislav Petkovef6bea62014-01-18 12:48:14 +0100358 ptdump_walk_pgd_level(m, NULL);
Arjan van de Ven926e5392008-04-17 17:40:45 +0200359 return 0;
360}
361
362static int ptdump_open(struct inode *inode, struct file *filp)
363{
364 return single_open(filp, ptdump_show, NULL);
365}
366
367static const struct file_operations ptdump_fops = {
368 .open = ptdump_open,
369 .read = seq_read,
370 .llseek = seq_lseek,
371 .release = single_release,
372};
373
Ingo Molnara4928cf2008-04-23 13:20:56 +0200374static int pt_dump_init(void)
Arjan van de Ven926e5392008-04-17 17:40:45 +0200375{
376 struct dentry *pe;
377
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200378#ifdef CONFIG_X86_32
379 /* Not a compile-time constant on x86-32 */
Andres Salomon92851e22010-07-20 15:19:46 -0700380 address_markers[VMALLOC_START_NR].start_address = VMALLOC_START;
381 address_markers[VMALLOC_END_NR].start_address = VMALLOC_END;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200382# ifdef CONFIG_HIGHMEM
Andres Salomon92851e22010-07-20 15:19:46 -0700383 address_markers[PKMAP_BASE_NR].start_address = PKMAP_BASE;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200384# endif
Andres Salomon92851e22010-07-20 15:19:46 -0700385 address_markers[FIXADDR_START_NR].start_address = FIXADDR_START;
H. Peter Anvinfe770bf02008-04-17 17:40:45 +0200386#endif
387
Arjan van de Ven926e5392008-04-17 17:40:45 +0200388 pe = debugfs_create_file("kernel_page_tables", 0600, NULL, NULL,
389 &ptdump_fops);
390 if (!pe)
391 return -ENOMEM;
392
393 return 0;
394}
395
396__initcall(pt_dump_init);
397MODULE_LICENSE("GPL");
398MODULE_AUTHOR("Arjan van de Ven <arjan@linux.intel.com>");
399MODULE_DESCRIPTION("Kernel debugging helper that dumps pagetables");