1// SPDX-License-Identifier: GPL-2.0
2#include <linux/init.h>
3#include <linux/debugfs.h>
4#include <linux/slab.h>
5
6#include "debugfs.h"
7
8static struct dentry *d_xen_debug;
9
10struct dentry * __init xen_init_debugfs(void)
11{
12 if (!d_xen_debug)
13 d_xen_debug = debugfs_create_dir(name: "xen", NULL);
14 return d_xen_debug;
15}
16
17

source code of linux/arch/x86/xen/debugfs.c