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}