1 /* 2 * Copyright (c) 2019, Arm Limited. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <platform_def.h> 8 9 #include <common/debug.h> 10 #include <drivers/arm/tzc_dmc620.h> 11 12 uintptr_t rde1edge_dmc_base[] = { 13 RDE1EDGE_DMC620_BASE0, 14 RDE1EDGE_DMC620_BASE1 15 }; 16 17 static const tzc_dmc620_driver_data_t rde1edge_plat_driver_data = { 18 .dmc_base = rde1edge_dmc_base, 19 .dmc_count = ARRAY_SIZE(rde1edge_dmc_base) 20 }; 21 22 static const tzc_dmc620_acc_addr_data_t rde1edge_acc_addr_data[] = { 23 { 24 .region_base = ARM_AP_TZC_DRAM1_BASE, 25 .region_top = ARM_AP_TZC_DRAM1_BASE + ARM_TZC_DRAM1_SIZE - 1, 26 .sec_attr = TZC_DMC620_REGION_S_RDWR 27 } 28 }; 29 30 static const tzc_dmc620_config_data_t rde1edge_plat_config_data = { 31 .plat_drv_data = &rde1edge_plat_driver_data, 32 .plat_acc_addr_data = rde1edge_acc_addr_data, 33 .acc_addr_count = ARRAY_SIZE(rde1edge_acc_addr_data) 34 }; 35 36 /* Initialize the secure environment */ plat_arm_security_setup(void)37void plat_arm_security_setup(void) 38 { 39 arm_tzc_dmc620_setup(&rde1edge_plat_config_data); 40 } 41