1 /*
2  * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
3  * Copyright (c) 2020, NVIDIA Corporation. All rights reserved.
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  */
7 
8 #include <common/bl_common.h>
9 
10 #include <smmu.h>
11 #include <tegra_def.h>
12 #include <tegra_mc_def.h>
13 
14 #define MAX_NUM_SMMU_DEVICES	U(1)
15 
16 /*******************************************************************************
17  * Handler to return the support SMMU devices number
18  ******************************************************************************/
plat_get_num_smmu_devices(void)19 uint32_t plat_get_num_smmu_devices(void)
20 {
21 	return MAX_NUM_SMMU_DEVICES;
22 }
23