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 
11 	ptdump_walk_pgd(m, info);
12 	return 0;
13 }
14 DEFINE_SHOW_ATTRIBUTE(ptdump);
15 
ptdump_debugfs_register(struct ptdump_info * info,const char * name)16 void __init ptdump_debugfs_register(struct ptdump_info *info, const char *name)
17 {
18 	debugfs_create_file(name, 0400, NULL, info, &ptdump_fops);
19 }
20