linux/drivers/vfio/debugfs.c

// SPDX-License-Identifier: GPL-2.0-only
/*
 * Copyright (c) 2023, HiSilicon Ltd.
 */

#include <linux/device.h>
#include <linux/debugfs.h>
#include <linux/seq_file.h>
#include <linux/vfio.h>
#include "vfio.h"

static struct dentry *vfio_debugfs_root;

static int vfio_device_state_read(struct seq_file *seq, void *data)
{ … }

void vfio_device_debugfs_init(struct vfio_device *vdev)
{ … }

void vfio_device_debugfs_exit(struct vfio_device *vdev)
{ … }

void vfio_debugfs_create_root(void)
{ … }

void vfio_debugfs_remove_root(void)
{ … }