1/* SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause */
2/* Copyright (c) 2014 Raspberry Pi (Trading) Ltd. All rights reserved. */
3
4#ifndef VCHIQ_DEBUGFS_H
5#define VCHIQ_DEBUGFS_H
6
7#include "vchiq_core.h"
8
9struct vchiq_debugfs_node {
10	struct dentry *dentry;
11};
12
13void vchiq_debugfs_init(void);
14
15void vchiq_debugfs_deinit(void);
16
17void vchiq_debugfs_add_instance(struct vchiq_instance *instance);
18
19void vchiq_debugfs_remove_instance(struct vchiq_instance *instance);
20
21#endif /* VCHIQ_DEBUGFS_H */
22