/* SPDX-License-Identifier: (GPL-2.0 OR BSD-3-Clause) */
/*
 * MediaTek	Inc. (C) 2020. All rights	reserved.
 */

#ifndef _HALDMD_EXTERN_ISDBS_H_
#define _HALDMD_EXTERN_ISDBS_H_

#include "drvDMD_EXTERN_ISDBS.h"

#ifdef __cplusplus
extern "C" {
#endif

typedef u8 MS_BOOL;
typedef u8 MS_U8;
typedef u16 MS_U16;
typedef u32 MS_U32;
typedef s8 MS_S8;
typedef s16 MS_S16;
typedef s32 MS_S32;

MS_BOOL _HAL_EXTERN_ISDBS_IOCTL_CMD(
		struct ISDBS_IOCTL_DATA *pData, enum DMD_ISDBS_HAL_COMMAND eCmd, void *pArgs);

#ifdef __cplusplus
}
#endif

#endif // _HALDMD_EXTERN_ISDBS_H_
