/*
 * Copyright (c) 2022, MediaTek Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef IOMMU_PLAT_H
#define IOMMU_PLAT_H

/* mm iommu */
#define ATF_MTK_SMI_LARB_CFG_SUPPORT

/* mm iommu, sec bank dump */
#define ATF_MTK_IOMMU_CFG_SUPPORT

/* infra iommu */
#define ATF_MTK_INFRA_MASTER_CFG_SUPPORT

#endif /* IOMMU_PLAT_H */
