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 
ptdump_show(struct seq_file * m,void * v)7 static int ptdump_show(struct seq_file *m, void *v)
8 {
9 	struct ptdump_info *info = m->private;
10 	ptdump_walk_pgd(m, info);
11 	return 0;
12 }
13 DEFINE_SHOW_ATTRIBUTE(ptdump);
14 
ptdump_debugfs_register(struct ptdump_info * info,const char * name)15 void ptdump_debugfs_register(struct ptdump_info *info, const char *name)
16 {
17 	debugfs_create_file(name, 0400, NULL, info, &ptdump_fops);
18 }
19