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