drivers/staging/vc04_services/interface/vchiq_arm/vchiq_debugfs.h

/* SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause */
/* Copyright (c) 2014 Raspberry Pi (Trading) Ltd. All rights reserved. */

#ifndef VCHIQ_DEBUGFS_H
#define VCHIQ_DEBUGFS_H

#include "vchiq_core.h"

struct vchiq_debugfs_node {
    struct dentry *dentry;
};

void vchiq_debugfs_init(void);

void vchiq_debugfs_deinit(void);

void vchiq_debugfs_add_instance(struct vchiq_instance *instance);

void vchiq_debugfs_remove_instance(struct vchiq_instance *instance);

#endif /* VCHIQ_DEBUGFS_H */