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 
9 struct vchiq_debugfs_node {
10     struct dentry *dentry;
11 };
12 
13 void vchiq_debugfs_init(void);
14 
15 void vchiq_debugfs_deinit(void);
16 
17 void vchiq_debugfs_add_instance(VCHIQ_INSTANCE_T instance);
18 
19 void vchiq_debugfs_remove_instance(VCHIQ_INSTANCE_T instance);
20 
21 #endif /* VCHIQ_DEBUGFS_H */
22