linux/arch/x86/mm/debug_pagetables.c

// SPDX-License-Identifier: GPL-2.0-only
#include <linux/debugfs.h>
#include <linux/efi.h>
#include <linux/module.h>
#include <linux/seq_file.h>
#include <linux/pgtable.h>

static int ptdump_show(struct seq_file *m, void *v)
{ … }

DEFINE_SHOW_ATTRIBUTE(…);

static int ptdump_curknl_show(struct seq_file *m, void *v)
{ … }

DEFINE_SHOW_ATTRIBUTE(…);

#ifdef CONFIG_MITIGATION_PAGE_TABLE_ISOLATION
static int ptdump_curusr_show(struct seq_file *m, void *v)
{ … }

DEFINE_SHOW_ATTRIBUTE(…);
#endif

#if defined(CONFIG_EFI) && defined(CONFIG_X86_64)
static int ptdump_efi_show(struct seq_file *m, void *v)
{ … }

DEFINE_SHOW_ATTRIBUTE(…);
#endif

static struct dentry *dir;

static int __init pt_dump_debug_init(void)
{ … }

static void __exit pt_dump_debug_exit(void)
{ … }

module_init(…) …;
module_exit(pt_dump_debug_exit);
MODULE_AUTHOR(…) …;
MODULE_DESCRIPTION(…) …;