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