plat_smmu.c 614 B

12345678910111213141516171819202122
  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. #include <common/bl_common.h>
  8. #include <smmu.h>
  9. #include <tegra_def.h>
  10. #include <tegra_mc_def.h>
  11. #define MAX_NUM_SMMU_DEVICES U(1)
  12. /*******************************************************************************
  13. * Handler to return the support SMMU devices number
  14. ******************************************************************************/
  15. uint32_t plat_get_num_smmu_devices(void)
  16. {
  17. return MAX_NUM_SMMU_DEVICES;
  18. }