1 /*
2  * Copyright (c) 2019-2021, 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 <sgi_dmc620_tzc_regions.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 	CSS_SGI_DMC620_TZC_REGIONS_DEF
24 };
25 
26 static const tzc_dmc620_config_data_t rde1edge_plat_config_data = {
27 	.plat_drv_data = &rde1edge_plat_driver_data,
28 	.plat_acc_addr_data = rde1edge_acc_addr_data,
29 	.acc_addr_count = ARRAY_SIZE(rde1edge_acc_addr_data)
30 };
31 
32 /* Initialize the secure environment */
plat_arm_security_setup(void)33 void plat_arm_security_setup(void)
34 {
35 	arm_tzc_dmc620_setup(&rde1edge_plat_config_data);
36 }
37