1 /* 2 * Copyright (c) 2018-2019, ARM Limited and Contributors. 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 #include <plat/arm/common/plat_arm.h> 12 13 uintptr_t sgi575_dmc_base[] = { 14 SGI575_DMC620_BASE0, 15 SGI575_DMC620_BASE1 16 }; 17 18 static const tzc_dmc620_driver_data_t sgi575_plat_driver_data = { 19 .dmc_base = sgi575_dmc_base, 20 .dmc_count = ARRAY_SIZE(sgi575_dmc_base) 21 }; 22 23 static const tzc_dmc620_acc_addr_data_t sgi575_acc_addr_data[] = { 24 { 25 .region_base = ARM_AP_TZC_DRAM1_BASE, 26 .region_top = ARM_AP_TZC_DRAM1_BASE + ARM_TZC_DRAM1_SIZE - 1, 27 .sec_attr = TZC_DMC620_REGION_S_RDWR 28 } 29 }; 30 31 static const tzc_dmc620_config_data_t sgi575_plat_config_data = { 32 .plat_drv_data = &sgi575_plat_driver_data, 33 .plat_acc_addr_data = sgi575_acc_addr_data, 34 .acc_addr_count = ARRAY_SIZE(sgi575_acc_addr_data) 35 }; 36 37 /* Initialize the secure environment */ plat_arm_security_setup(void)38void plat_arm_security_setup(void) 39 { 40 arm_tzc_dmc620_setup(&sgi575_plat_config_data); 41 } 42