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}
14
15static int ptdump_open(struct inode *inode, struct file *file)
16{
17	return single_open(file, ptdump_show, inode->i_private);
18}
19
20static const struct file_operations ptdump_fops = {
21	.open		= ptdump_open,
22	.read		= seq_read,
23	.llseek		= seq_lseek,
24	.release	= single_release,
25};
26
27void ptdump_debugfs_register(struct ptdump_info *info, const char *name)
28{
29	debugfs_create_file(name, 0400, NULL, info, &ptdump_fops);
30}