162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef _XEN_DEBUGFS_H
362306a36Sopenharmony_ci#define _XEN_DEBUGFS_H
462306a36Sopenharmony_ci
562306a36Sopenharmony_cistruct dentry * __init xen_init_debugfs(void);
662306a36Sopenharmony_ci
762306a36Sopenharmony_ci#endif /* _XEN_DEBUGFS_H */
8