| /* |
| * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <platform_def.h> |
| |
| #include <common/debug.h> |
| #include <drivers/arm/tzc_dmc620.h> |
| #include <plat/arm/common/plat_arm.h> |
| |
| uintptr_t sgi575_dmc_base[] = { |
| SGI575_DMC620_BASE0, |
| SGI575_DMC620_BASE1 |
| }; |
| |
| static const tzc_dmc620_driver_data_t sgi575_plat_driver_data = { |
| .dmc_base = sgi575_dmc_base, |
| .dmc_count = ARRAY_SIZE(sgi575_dmc_base) |
| }; |
| |
| static const tzc_dmc620_acc_addr_data_t sgi575_acc_addr_data[] = { |
| { |
| .region_base = ARM_AP_TZC_DRAM1_BASE, |
| .region_top = ARM_AP_TZC_DRAM1_BASE + ARM_TZC_DRAM1_SIZE - 1, |
| .sec_attr = TZC_DMC620_REGION_S_RDWR |
| } |
| }; |
| |
| static const tzc_dmc620_config_data_t sgi575_plat_config_data = { |
| .plat_drv_data = &sgi575_plat_driver_data, |
| .plat_acc_addr_data = sgi575_acc_addr_data, |
| .acc_addr_count = ARRAY_SIZE(sgi575_acc_addr_data) |
| }; |
| |
| /* Initialize the secure environment */ |
| void plat_arm_security_setup(void) |
| { |
| arm_tzc_dmc620_setup(&sgi575_plat_config_data); |
| } |