/* SPDX-License-Identifier: ((GPL-2.0 WITH Linux-syscall-note) OR BSD-3-Clause) */
/*
 * Copyright (c) 2020 MediaTek Inc.
 */

#ifndef __UAPI_MTK_MMA_IOCTL_H_
#define __UAPI_MTK_MMA_IOCTL_H_

#include "mtk_iommu_dtv_api.h"

#endif	/* __UAPI_MTK_MMA_IOCTL_H_ */
