/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (C) 2021 MediaTek Inc.
 */

#ifndef __TFA_DEBUG_H__
#define __TFA_DEBUG_H__

int tfa_debug_drv_register(void);
int tfa_debug_drv_unregister(void);

#endif /* __TFA_DEBUG_H__ */
