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