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

#include <mtk_bl31_interface.h>

int smmu_sid_init(void)
{
	return 0;
}