1 /* 2 * Copyright (c) 2025, MediaTek Inc. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <lib/mtk_init/mtk_init.h> 8 #include <mtk_bl31_interface.h> 9 10 static int mtk_smmu_sid_init(void) 11 { 12 return smmu_sid_init(); 13 } 14 15 MTK_PLAT_SETUP_0_INIT(mtk_smmu_sid_init); 16