1 /*
2  * Copyright (c) 2019-2020, Arm Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <common/bl_common.h>
8 
9 #include <mhu.h>
10 #include <plat/arm/common/plat_arm.h>
11 #include <plat/common/platform.h>
12 #include <platform_def.h>
13 
14 /*
15  * Table of regions to map using the MMU.
16  * Replace or extend the below regions as required
17  */
18 
19 const mmap_region_t plat_arm_mmap[] = {
20 	ARM_MAP_SHARED_RAM,
21 	ARM_MAP_NS_SHARED_RAM,
22 	ARM_MAP_NS_DRAM1,
23 	CORSTONE700_MAP_DEVICE,
24 	{0}
25 };
26 
27 /* Corstone700 only has one always-on power domain and there
28  * is no power control present
29  */
plat_arm_pwrc_setup(void)30 void __init plat_arm_pwrc_setup(void)
31 {
32 	mhu_secure_init();
33 }
34 
plat_get_syscnt_freq2(void)35 unsigned int plat_get_syscnt_freq2(void)
36 {
37 	/* Returning the Generic Timer Frequency */
38 	return SYS_COUNTER_FREQ_IN_TICKS;
39 }
40