1// SPDX-License-Identifier: GPL-2.0
2#include <linux/debugfs.h>
3#include <linux/seq_file.h>
4
5#include <asm/ptdump.h>
6
7static int ptdump_show(struct seq_file *m, void *v)
8{
9	struct ptdump_info *info = m->private;
10
11	ptdump_walk_pgd(m, info);
12	return 0;
13}
14DEFINE_SHOW_ATTRIBUTE(ptdump);
15
16void __init ptdump_debugfs_register(struct ptdump_info *info, const char *name)
17{
18	debugfs_create_file(name, 0400, NULL, info, &ptdump_fops);
19}
20