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 ******************************************************************************/ 19 uint32_t plat_get_num_smmu_devices(void) 20 { 21 return MAX_NUM_SMMU_DEVICES; 22 } 23