1 /*
2 * Copyright (c) 2025, Arm Limited. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7 #include <common/debug.h>
8 #include <drivers/arm/sbsa.h>
9 #include <lib/fconf/fconf.h>
10 #include <lib/fconf/fconf_dyn_cfg_getter.h>
11 #include <plat/arm/common/plat_arm.h>
12 #include <plat/common/platform.h>
13
14 const mmap_region_t plat_arm_mmap[] = {
15 ARM_MAP_SHARED_RAM,
16 RDASPEN_MAP_DEVICE,
17 RDASPEN_MAP_EXTERNAL_FLASH,
18 RDASPEN_MAP_SMD_REGION,
19 #if PLAT_ARM_MEM_PROT_ADDR
20 RDASPEN_MAP_MEM_PROTECT,
21 #endif
22 #if IMAGE_BL2
23 RDASPEN_MAP_NS_DRAM1,
24 RDASPEN_MAP_NS_DRAM2,
25 RDASPEN_MAP_TRUSTED_NVCTR,
26 #endif
27 RDASPEN_MAP_S_DRAM,
28 {0}
29 };
30
plat_arm_secure_wdt_start(void)31 void plat_arm_secure_wdt_start(void)
32 {
33 sbsa_wdog_start(SBSA_SECURE_WDOG_BASE, SBSA_SECURE_WDOG_TIMEOUT);
34 }
35
plat_arm_secure_wdt_stop(void)36 void plat_arm_secure_wdt_stop(void)
37 {
38 sbsa_wdog_stop(SBSA_SECURE_WDOG_BASE);
39 }
40
plat_arm_security_setup(void)41 void plat_arm_security_setup(void)
42 {
43 }
44
plat_get_syscnt_freq2(void)45 unsigned int plat_get_syscnt_freq2(void)
46 {
47 /* Returning the Generic Timer Frequency */
48 return SYS_COUNTER_FREQ_IN_TICKS;
49 }
50
plat_get_mbedtls_heap(void ** heap_addr,size_t * heap_size)51 int plat_get_mbedtls_heap(void **heap_addr, size_t *heap_size)
52 {
53 assert(heap_addr != NULL);
54 assert(heap_size != NULL);
55
56 return arm_get_mbedtls_heap(heap_addr, heap_size);
57 }
58